MDDs are efficient modeling tools: an application to some statistical constraints

DOI10.1007/978-3-319-59776-8_3zbMath1489.68257OpenAlexW2618168232MaRDI QIDQ2011571

Jean-Charles Régin, Guillaume Perez

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-59776-8_3

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Constraint programming and operations research, Decision Diagrams for Discrete Optimization: A Survey of Recent Advances, Подстановочные гомоморфизмы алгоритмов блочного шифрования и ${\otimes _{\mathbf{W}}}$-марковость, $\otimes_{\mathbf{W}}$-марковость XSL-алгоритмов блочного шифрования, связанная со свойствами слоев раундовой функции

Uses Software

• CSPLib

Cites Work

• Unnamed Item
• MDD propagators with explanation
• A \texttt{cost-regular} based hybrid column generation approach
• Global constraint catalogue: past, present and future
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Achieving Domain Consistency and Counting Solutions for Dispersion Constraints
• Manipulating MDD Relaxations for Combinatorial Optimization
• SPREAD: A Balancing Constraint Based on Statistics
• The Deviation Constraint
• Graph-Based Algorithms for Boolean Function Manipulation