Symmetry Breaking of Phospholipids.

Michele Fiore René Buchet

Published in: Symmetry (2020)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
quantified boolean formulae
search tree
global constraints
integer linear programming
constraint satisfaction problems
graph coloring
symmetry breaking constraints
sat solvers
combinatorial problems