Sub-Symmetry-Breaking Inequalities for ILP with Structured Symmetry.

Pascale Bendotti Pierre Fouilhoux Cécile Rottner

Published in: IPCO (2019)

Keyphrases

symmetry breaking
constraint programming
inductive logic programming
search tree
global constraints
boolean satisfiability
symmetry breaking constraints
constraint satisfaction problems
integer linear programming
graph coloring
knapsack problem
propositional satisfiability