A variational description of the ground state structure in random satisfiability problems

Giulio Biroli Rémi Monasson Martin Weigt

Published in: CoRR (1999)

Keyphrases

satisfiability problem
np complete
temporal logic
phase transition
search algorithm
knowledge representation
randomly generated
stochastic local search