On Moderately Exponential Time for SAT.

Evgeny Dantsin Alexander Wolpert

Published in: SAT (2010)

Keyphrases

sat problem
satisfiability problem
sat solvers
propositional satisfiability
search algorithm
phase transition
stochastic local search
sat solving
max sat
stochastic local search algorithms
real time
upper bound
search strategies
graph coloring
backtracking search