Constructions and In-Place Operations for MDDs Based Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Constructions and In-Place Operations for MDDs Based Constraints

Résumé

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.
Fichier principal
Vignette du fichier
relationMDD.pdf (448.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01344087 , version 1 (11-07-2016)

Identifiants

Citer

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⟩
82 Consultations
146 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More