Login / Signup
Spontaneous and Controlled Macroscopic Chiral Symmetry Breaking by Means of Crystallization.
Gérard Coquerel
Marine Hoquante
Published in:
Symmetry (2020)
Keyphrases
</>
symmetry breaking
constraint programming
global constraints
search tree
boolean satisfiability
boolean optimization
belief revision
graph coloring
quantified boolean formulae