Spontaneous Symmetry Breaking and Its Pattern of Scales.

Maurizio Consoli Leonardo Cosmai

Published in: Symmetry (2020)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
global constraints
integer linear programming
constraint satisfaction problems
graph coloring
boolean satisfiability
search space
combinatorial problems
objective function
integer programming