Towards breaking more composition symmetries in partial symmetry breaking.

Jimmy H. M. Lee Zichen Zhu

Published in: Artif. Intell. (2017)

Keyphrases

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