Efficient operations between MDDs and constraints

DOI10.1007/978-3-031-08011-1_13zbMath1502.68274OpenAlexW4285204941MaRDI QIDQ2170195

Jean-Charles Régin, Victor Jung

Publication date: 30 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08011-1_13

Mathematics Subject Classification ID

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

Related Items (1)

Dealing with the product constraint

Cites Work

• Unnamed Item
• Decision diagrams for optimization
• Incorporating bounds from decision diagrams into integer programming
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Outer approximation for integer nonlinear programs via decision diagrams
• Discrete Optimization with Decision Diagrams
• Manipulating MDD Relaxations for Combinatorial Optimization
• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: Efficient operations between MDDs and constraints