Symmetry Handling via Symmetry Breaking Polytopes.
Christopher HojnyMarc E. PfetschPublished in: CTW (2015)
Keyphrases
- temporal logic
- symmetry breaking
- constraint programming
- global constraints
- search tree
- boolean satisfiability
- satisfiability problem
- integer linear programming
- quantified boolean formulae
- constraint satisfaction problems
- symmetry breaking constraints
- convex hull
- graph coloring
- sat solvers
- constraint satisfaction
- genetic programming
- objective function
- propositional logic
- first order logic
- sat problem
- dynamic programming
- multi objective
- genetic algorithm