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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-33954-2_20 | INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, CPAIOR 2016 |
Field | DocType | Volume |
Discrete mathematics,Mathematical optimization,Tuple,Computer science,Constraint programming | Conference | 9676 |
ISSN | Citations | PageRank |
0302-9743 | 3 | 0.38 |
References | Authors | |
12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
guillaume perez | 1 | 19 | 3.03 |
Jean-charles Régin | 2 | 1312 | 96.59 |