Constructions and In-Place Operations for MDDs Based Constraints

Guillaume Perez 1, * Jean-Charles Régin 1
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
CPAIOR 2016, May 2016, Banff, Canada. Integration of and Techniques in Constraint Programming - 13th International Conference, 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, 2016, <10.1007/978-3-319-33954-2_20>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01344087
Contributeur : Jean-Charles Regin <>
Soumis le : lundi 11 juillet 2016 - 12:36:51
Dernière modification le : mardi 19 juillet 2016 - 01:04:43
Document(s) archivé(s) le : mercredi 12 octobre 2016 - 12:21:46

Fichier

relationMDD.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Perez, Jean-Charles Régin. Constructions and In-Place Operations for MDDs Based Constraints. CPAIOR 2016, May 2016, Banff, Canada. Integration of and Techniques in Constraint Programming - 13th International Conference, 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, 2016, <10.1007/978-3-319-33954-2_20>. <hal-01344087>

Partager

Métriques

Consultations de
la notice

31

Téléchargements du document

28