Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.

Bart Bogaerts Stephan Gocht Ciaran McCreesh Jakob Nordström

Published in: CoRR (2022)

Keyphrases

combinatorial optimisation
symmetry detection
stochastic local search
bilateral symmetry
neural network
dominance relation
symmetry breaking
rotationally symmetric
constraint satisfaction problems
heuristic search
technical support
rotational symmetry