Equivariant Symmetry Breaking Sets.

Yuqing Xie Tess E. Smidt

Published in: CoRR (2024)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
integer linear programming
graph coloring
global constraints
combinatorial problems
search algorithm
genetic algorithm
genetic programming