Efficient Operations On MDDs for Building Constraint Programming Models.

Guillaume Perez Jean-Charles Régin

Published in: IJCAI (2015)

Keyphrases

constraint programming
constraint satisfaction problems
constraint propagation
constraint satisfaction
combinatorial problems
integer programming
knowledge compilation
search strategies
symmetry breaking
hard and soft constraints