Randomized Algorithms for 3-SAT.

Thomas Hofmeister Uwe Schöning Rainer Schuler Osamu Watanabe

Published in: Theory Comput. Syst. (2007)

Keyphrases

randomized algorithms
sat solvers
approximation algorithms
satisfiability problem
lower bound
sat problem
worst case
practical problems
search algorithm
randomized algorithm
special case
upper bound
phase transition
optimization problems