Pages that link to "Item:Q2331100"
From MaRDI portal
The following pages link to From MDD to BDD and arc consistency (Q2331100):
Displaying 3 items.
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (Q968351) (← links)
- Decision Diagrams for Discrete Optimization: A Survey of Recent Advances (Q5106421) (← links)
- Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams (Q6426110) (← links)