Symmetry Breaking Inequalities from the Schreier-Sims Table.
Domenico SalvagninPublished in: CPAIOR (2018)
Keyphrases
- symmetry breaking
- constraint programming
- boolean satisfiability
- global constraints
- constraint satisfaction problems
- quantified boolean formulae
- search tree
- integer linear programming
- database
- graph coloring
- symmetry breaking constraints
- boolean optimization
- mixed integer
- sat solvers
- constraint satisfaction
- heuristic search
- np complete
- search space
- lower bound