Resolution and the integrality of satisfiability problems.

Published in: Math. Program. (1996)

Keyphrases

satisfiability problem
clause learning
np complete
temporal logic
phase transition
sat problem
search algorithm
solving hard
davis putnam
stochastic local search algorithms
sat instances
stochastic local search
constraint satisfaction
orders of magnitude
reinforcement learning
finite domain
mazurkiewicz traces