Efficient operations between MDDs and constraints
From MaRDI portal
Publication:2170195
DOI10.1007/978-3-031-08011-1_13zbMATH Open1502.68274OpenAlexW4285204941MaRDI QIDQ2170195FDOQ2170195
Authors: Victor Jung, Jean-Charles Régin
Publication date: 30 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-08011-1_13
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
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27)
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- Discrete optimization with decision diagrams
- Manipulating MDD relaxations for combinatorial optimization
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- Decision diagrams for optimization
- Title not available (Why is that?)
- Outer approximation for integer nonlinear programs via decision diagrams
- Incorporating bounds from decision diagrams into integer programming
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)