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

1 code implementation • 24 Apr 2021 • Xavier Gillard, Vianney Coppé, Pierre Schaus, André Augusto Cire

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