Improved Upper Bounds for 3-SAT

Kazuo Iwama Suguru Tamaki

Published in: Electron. Colloquium Comput. Complex. (2003)

Keyphrases

upper bound
lower bound
upper and lower bounds
tight bounds
lower and upper bounds
improved algorithm
search algorithm
satisfiability problem
sat solvers
error probability
phase transition
branch and bound
linear programming
markov random field
max sat
np hard
sat solving