Technical Notes on Complexity of the Satisfiability Problem.

Marek A. Suchenek

Published in: CoRR (2015)

Keyphrases

satisfiability problem
pspace complete
np complete
temporal logic
phase transition
search algorithm
stochastic local search algorithms
sat problem
computational complexity
solving hard
random sat
max sat
stochastic local search
decision procedures
bounded treewidth
model checking
weighted max sat
heuristic search