Certified Dominance and Symmetry Breaking for Combinatorial Optimisation.
Bart BogaertsStephan GochtCiaran McCreeshJakob NordströmPublished in: J. Artif. Intell. Res. (2023)
Keyphrases
- combinatorial optimisation
- symmetry breaking
- constraint programming
- search tree
- global constraints
- stochastic local search
- integer linear programming
- constraint satisfaction problems
- graph coloring
- symmetry breaking constraints
- sat solvers
- constraint satisfaction
- search space
- combinatorial problems
- evolutionary algorithm
- search algorithm
- data structure