Algorithms for four variants of the exact satisfiability problem.

Vilhelm Dahllöf Peter Jonsson Richard Beigel

Published in: Theor. Comput. Sci. (2004)

Keyphrases

satisfiability problem
stochastic local search algorithms
orders of magnitude
stochastic local search
np complete
optimization problems
solving hard
computational complexity
search space
scheduling problem
phase transition
combinatorial problems