A Short Note on Some Tractable Cases of the Satisfiability Problem.

Hans van Maaren

Published in: Inf. Comput. (2000)

Keyphrases

satisfiability problem
tractable cases
np complete
temporal logic
phase transition
search algorithm
bounded treewidth
stochastic local search algorithms
causal models
sat problem
stochastic local search
sat instances
model checking
max sat
database systems
xml documents
branch and bound