Variable symmetry breaking in numerical constraint problems.
Alexandre GoldsztejnChristophe JermannVicente Ruiz de AnguloCarme TorrasPublished in: Artif. Intell. (2015)
Keyphrases
- constraint problems
- symmetry breaking
- constraint programming
- constraint satisfaction problems
- symmetry breaking constraints
- constraint satisfaction
- constraint propagation
- combinatorial problems
- global constraints
- arc consistency
- column generation
- search strategies
- integer programming
- soft constraints
- np complete
- search space
- graph coloring
- integer linear programming
- data structure
- cellular automata
- optimisation problems