On the Geometry of Symmetry Breaking Inequalities.

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

Published in: IPCO (2021)

Keyphrases

symmetry breaking
constraint programming
global constraints
integer linear programming
quantified boolean formulae
search tree
sat solvers
boolean satisfiability
constraint satisfaction problems
boolean optimization
query processing