Relations between MDDs and Tuples and Dynamic Modifications of MDDs based constraints

Guillaume Perez, Jean-Charles Régin

We study the relations between Multi-valued Decision Diagrams (MDD) and tuples (i.e. elements of the Cartesian Product of variables). First, we improve the existing methods for tra…