Symmetry-breaking inequalities for ILP with structured sub-symmetry.

Pascale Bendotti Pierre Fouilhoux Cécile Rottner

Published in: Math. Program. (2020)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
inductive logic programming
integer linear programming
boolean satisfiability
constraint satisfaction problems
symmetry breaking constraints
sat solvers
search algorithm
mixed integer
propositional satisfiability