A Hierarchy of Tractable Satisfiability Problems.

Mukesh Dalal David W. Etherington

Published in: Inf. Process. Lett. (1992)

Keyphrases

satisfiability problem
np complete
search algorithm
sat problem
temporal logic
phase transition
np hard
solving hard
randomly generated
pspace complete
stochastic local search algorithms
computational complexity
stochastic local search
sat instances
bounded treewidth
max sat
davis putnam
scheduling problem