Efficient operations between MDDs and constraints
From MaRDI portal
Publication:2170195
Recommendations
- Constructions and in-place operations for MDDs based constraints
- MDD propagators with explanation
- MDDs are efficient modeling tools: an application to some statistical constraints
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- From MDD to BDD and arc consistency
Cites work
- scientific article; zbMATH DE number 1423226 (Why is no real title available?)
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- Decision diagrams for optimization
- Discrete optimization with decision diagrams
- Graph-Based Algorithms for Boolean Function Manipulation
- Incorporating bounds from decision diagrams into integer programming
- Manipulating MDD relaxations for combinatorial optimization
- Outer approximation for integer nonlinear programs via decision diagrams
Cited in
(8)- Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)
- Constructions and in-place operations for MDDs based constraints
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- AND/OR Multi-valued Decision Diagrams for Constraint Optimization
- MDD propagation for sequence constraints
- MDDs are efficient modeling tools: an application to some statistical constraints
- Dealing with the product constraint
- Efficient implementation of the MFS: The three scenarios
This page was built for publication: Efficient operations between MDDs and constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2170195)
