Reversed Resolution in Reducing General Satisfiability Problem.

Published in: Stud Logica (2010)

Keyphrases

satisfiability problem
np complete
special case
search algorithm
temporal logic
clause learning
pspace complete
stochastic local search algorithms
phase transition
finite domain
sat problem
solving hard
mazurkiewicz traces
np hard
knowledge representation
decision procedures