Volume 29; Issue 5

Information Processing Letters

Volume 29; Issue 5
1

Polynomially solvable satisfiability problems

Giorgio Gallo, Maria Grazia Scutellà
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 573 KB
english, 1988
2

Lazy variable-renumbering makes substitution cheap

H.J. Boom
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 336 KB
english, 1988
3

Optimal search algorithm for a minimum of a discrete periodic bimodal function

Boris S. Veroy
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 466 KB
english, 1988
4

A canonical simplifier for trigonometric expressions in the kinematic equation

Peter Schorn
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 426 KB
english, 1988
5

A reconfiguration algorithm for fault tolerance in a hypercube multiprocessor

Füsun Özgüner, C. Aykanat
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 686 KB
english, 1988
6

A note on random sampling

Marek Chrobak, Richard Harter
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 141 KB
english, 1988
7

Un-skolemizing clause sets

William W. McCune
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 612 KB
english, 1988
8

The shortest watchtower and related problems for polyhedral terrains

Micha Sharir
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 537 KB
english, 1988
9

On hypergraph acyclicity and graph chordality

Alessandro D'Atri, Marina Moscarini
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 355 KB
english, 1988
10

An O(n3) algorithm for finding the minimal opaque forest of a convex polygon

Pratul Dublish
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 131 KB
english, 1988