Improving the filtering of Branch-And-Bound MDD solver (extended)

Xavier Gillard, Vianney Coppé, Pierre Schaus +1

This paper presents and evaluates two pruning techniques to reinforce the efficiency of constraint optimization solvers based on multi-valued decision-diagrams (MDD). It adopts the…