Symmetry Breaking in Stochastic Dynamics and Turbulence.

Michal Hnatic Juha Honkonen Tomás Lucivjanský

Published in: Symmetry (2019)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
integer linear programming
boolean satisfiability
quantified boolean formulae
constraint satisfaction problems
graph coloring
multi objective
reinforcement learning
propositional satisfiability
symmetry breaking constraints