Review of The Satisfiability Problem: Algorithms and Analyses by Uwe Schöning and Jacobo Torán.

William I. Gasarch

Published in: SIGACT News (2014)

Keyphrases

satisfiability problem
stochastic local search
stochastic local search algorithms
orders of magnitude
np complete
search algorithm
computational complexity
temporal logic
objective function
evolutionary algorithm
combinatorial optimization
phase transition
sat instances