Exploring and Exploiting the Symmetry-Breaking Effect of Cyclodextrins in Mechanomolecules.

Carson J. Bruns

Published in: Symmetry (2019)

Keyphrases

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