Detection of Planted Solutions for Flat Satisfiability Problems.

Quentin Berthet Jordan S. Ellenberg

Published in: CoRR (2015)

Keyphrases

satisfiability problem
stochastic local search algorithms
temporal logic
np complete
phase transition
search procedures
combinatorial problems
solving hard
search algorithm
stochastic local search
special case
graph coloring problems
optimal solution
linear programming
sat problem
mazurkiewicz traces