On the geometry of symmetry breaking inequalities.

José Verschae Matías Villagra Léonard von Niederhäusern

Published in: CoRR (2020)

Keyphrases

symmetry breaking
constraint programming
quantified boolean formulae
boolean satisfiability
search tree
global constraints
integer linear programming
graph coloring
constraint satisfaction problems
sat solvers
constraint satisfaction
search algorithm
multi dimensional
particle swarm optimization