Symmetry Handling via Symmetry Breaking Polytopes.

Christopher Hojny

Marc E. Pfetsch

Published in CTW 2015

Topics

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