Approximating MIN k-SAT.

Adi Avidor Uri Zwick

Published in: ISAAC (2002)

Keyphrases

sat solvers
satisfiability problem
sat solving
sat problem
search algorithm
propositional satisfiability
stochastic local search
phase transition
boolean satisfiability
search problems
max sat
orders of magnitude
learning algorithm
branch and bound
constraint satisfaction
sat encodings
np hard
max sat solver