Quantum symmetry breaking and physical inequivalence: the case of ferromagnetism.

Giovanni Valente

Published in: Synth. (2021)

Keyphrases

symmetry breaking
constraint programming
search algorithm
search space
constraint satisfaction problems
upper bound
sat solvers
global constraints
integer linear programming
graph coloring
boolean satisfiability