The Complexity of Minimal Satisfiability Problems.

Lefteris M. Kirousis Phokion G. Kolaitis

Published in: STACS (2001)

Keyphrases

satisfiability problem
pspace complete
np complete
temporal logic
phase transition
search algorithm
sat problem
stochastic local search
random sat
computational complexity
decision problems
davis putnam
sat instances
max sat
solving hard