Login / Signup
Spontaneous Symmetry Breaking: The Case of Crazy Clock and Beyond.
Maja C. Pagnacco
Jelena P. Maksimovic
Marko Dakovic
Bojana Bokic
Sébastien R. Mouchet
Thierry Verbiest
Yves Caudano
Branko Kolaric
Published in:
Symmetry (2022)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
global constraints
integer linear programming
search algorithm
nearest neighbor
metaheuristic
boolean satisfiability
quantified boolean formulae
boolean optimization