Manipulating MDD Relaxations for Combinatorial Optimization

DOI10.1007/978-3-642-21311-3_5zbMath1302.90166OpenAlexW2169403817MaRDI QIDQ3003272

No author found.

Publication date: 26 May 2011

Published in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21311-3_5

Mathematics Subject Classification ID

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

Related Items (23)

Projection, consistency, and George Boole ⋮ Constraint programming and operations research ⋮ Incorporating bounds from decision diagrams into integer programming ⋮ Graph Coloring Lower Bounds from Decision Diagrams ⋮ Improving Variable Orderings of Approximate Decision Diagrams Using Reinforcement Learning ⋮ Theoretical insights and algorithmic tools for decision diagram-based optimization ⋮ Stochastic decision diagrams ⋮ Efficient operations between MDDs and constraints ⋮ Oblivious bounds on the probability of boolean functions ⋮ Lagrangian bounds from decision diagrams ⋮ Decision Diagrams for Discrete Optimization: A Survey of Recent Advances ⋮ Optimization Bounds from Binary Decision Diagrams ⋮ Target Cuts from Relaxed Decision Diagrams ⋮ Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams ⋮ On the Consistent Path Problem ⋮ Compact representations of all members of an independence system ⋮ MDDs are efficient modeling tools: an application to some statistical constraints ⋮ On finding the optimal BDD relaxation ⋮ Discrete Optimization with Decision Diagrams ⋮ Decision Diagram Decomposition for Quadratically Constrained Binary Optimization ⋮ Compiling CP subproblems to MDDs and d-DNNFs ⋮ Improving branch-and-bound using decision diagrams and reinforcement learning ⋮ Graph coloring with decision diagrams

This page was built for publication: Manipulating MDD Relaxations for Combinatorial Optimization