Generic proving of replica symmetry breaking.

Mihailo Stojnic

Published in: CoRR (2023)

Keyphrases

symmetry breaking
constraint programming
search tree
integer linear programming
quantified boolean formulae
constraint satisfaction problems
global constraints
boolean satisfiability
symmetry breaking constraints
combinatorial problems
graph coloring
search strategies
boolean optimization