Skip to Main content Skip to Navigation
Conference papers

Constructions and In-Place Operations for MDDs Based Constraints

Guillaume Perez 1, * Jean-Charles Régin 1
* Corresponding author
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
Abstract : This papers extends in three ways our previous work about efficient operations on Multi-valued Decision Diagrams (MDD) for building Constraint Programming models. First, we improve the existing methods for transforming a set of tuples, Global Cut Seeds or sequences of tuples into MDDs. Then, we present in-place algorithms for adding and deleting tuples from an MDD. Finally, we describe an incremental version of an algorithm which reduces an MDD. We show on a real-life application that in-place operations on MDDs combined with this incremental algorithm outperform classical operations. Furthermore, we give some experimental results showing that the creation algorithms we propose strongly improve upon existing ones.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download
Contributor : Jean-Charles Regin <>
Submitted on : Monday, July 11, 2016 - 12:36:51 PM
Last modification on : Thursday, March 5, 2020 - 12:20:24 PM
Document(s) archivé(s) le : Wednesday, October 12, 2016 - 12:21:46 PM


Files produced by the author(s)




Guillaume Perez, Jean-Charles Régin. Constructions and In-Place Operations for MDDs Based Constraints. CPAIOR 2016, May 2016, Banff, Canada. ⟨10.1007/978-3-319-33954-2_20⟩. ⟨hal-01344087⟩



Record views


Files downloads