Sign in
Clusters of solutions and replica symmetry breaking in random k-satisfiability
Andrea Montanari
Federico Ricci-Tersenghi
Guilhem Semerjian
Published in:
CoRR (2008)
Keyphrases
</>
symmetry breaking
constraint programming
boolean satisfiability
global constraints
integer linear programming
combinatorial problems
search tree
constraint satisfaction problems
satisfiability problem
sat solvers
graph coloring
optimal solution
special case
simulated annealing