From MDD to BDD and arc consistency
From MaRDI portal
Publication:2331100
DOI10.1007/s10601-018-9286-5zbMath1468.68209OpenAlexW2880892438MaRDI QIDQ2331100
Sylvain Piechowiak, Julien Vion
Publication date: 25 October 2019
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-018-9286-5
Related Items
Decision Diagrams for Discrete Optimization: A Survey of Recent Advances, Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Decision diagrams for optimization
- STR2: optimized simple tabular reduction for table constraints
- MDD propagators with explanation
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- Random constraint satisfaction: easy generation of hard (satisfiable) instances
- Making data structures persistent
- A generic arc-consistency algorithm and its specializations
- Consistency in networks of relations
- Networks of constraints: Fundamental properties and applications to picture processing
- Optimal and efficient filtering algorithms for table constraints
- Partition search for non-binary constraint satisfaction
- Graph-Based Algorithms for Boolean Function Manipulation
- Improving the variable ordering of OBDDs is NP-complete
- A relational model of data for large shared data banks