Instability of one-step replica-symmetry-broken phase in satisfiability problems

Andrea Montanari Giorgio Parisi Federico Ricci-Tersenghi

Published in: CoRR (2003)

Keyphrases

satisfiability problem
np complete
search algorithm
phase transition
temporal logic
stochastic local search
sat problem
solving hard
search procedures
sat instances
pspace complete
computational complexity
evolutionary algorithm
max sat
finite domain