Login / Signup
Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem.
John Franco
Jacob Manuel Plotkin
John W. Rosenthal
Published in:
Discret. Appl. Math. (1987)
Keyphrases
</>
satisfiability problem
davis putnam
sat problem
np complete
temporal logic
stochastic local search
sat instances
phase transition
propositional logic
search algorithm
random sat
scheduling problem
constraint satisfaction
propositional satisfiability
stochastic local search algorithms