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

https://hal.archives-ouvertes.fr/hal-01344087
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

File

relationMDD.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

147

Files downloads

254