Symmetry Breaking in Self-Assembled Nanoassemblies.

Yutao Sang Minghua Liu

Published in: Symmetry (2019)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
search tree
global constraints
constraint satisfaction problems
integer linear programming
quantified boolean formulae
graph coloring
symmetry breaking constraints
database systems
worst case
industrial applications