Optimal Testing for Planted Satisfiability Problems.

Quentin Berthet

Published in: CoRR (2014)

Keyphrases

satisfiability problem
np complete
search algorithm
optimal solution
temporal logic
stochastic local search
phase transition
sat problem
pspace complete
model checking
solving hard
mazurkiewicz traces