MDDs are efficient modeling tools: an application to some statistical constraints
From MaRDI portal
Publication:2011571
DOI10.1007/978-3-319-59776-8_3zbMATH Open1489.68257OpenAlexW2618168232MaRDI QIDQ2011571FDOQ2011571
Authors: Guillaume Perez, Jean-Charles Régin 
Publication date: 4 August 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-59776-8_3
Recommendations
- Efficient operations between MDDs and constraints
- Constructions and in-place operations for MDDs based constraints
- MDD propagators with explanation
- MDD propagation for sequence constraints
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- Manipulating MDD relaxations for combinatorial optimization
- Global constraint catalogue: past, present and future
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- A \texttt{cost-regular} based hybrid column generation approach
- Achieving domain consistency and counting solutions for dispersion constraints
- SPREAD: A Balancing Constraint Based on Statistics
- MDD propagators with explanation
- The Deviation Constraint
- Title not available (Why is that?)
Cited In (5)
- Constraint programming and operations research
- MDD propagators with explanation
- Decision Diagrams for Discrete Optimization: A Survey of Recent Advances
- Подстановочные гомоморфизмы алгоритмов блочного шифрования и ${\otimes _{\mathbf{W}}}$-марковость
- $\otimes_{\mathbf{W}}$-марковость XSL-алгоритмов блочного шифрования, связанная со свойствами слоев раундовой функции
Uses Software
This page was built for publication: MDDs are efficient modeling tools: an application to some statistical constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011571)
