Optimization Bounds from Binary Decision Diagrams

From MaRDI portal
Publication:2962554

DOI10.1287/ijoc.2013.0561zbMath1356.90083OpenAlexW3123057019MaRDI QIDQ2962554

No author found.

Publication date: 17 February 2017

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/163c5e18b29a577a496f54a02548068d16d069c3




Related Items

Constraint programming and operations researchIncorporating bounds from decision diagrams into integer programmingGraph Coloring Lower Bounds from Decision DiagramsImproving Variable Orderings of Approximate Decision Diagrams Using Reinforcement LearningVariable ordering for decision diagrams: a portfolio approachTheoretical insights and algorithmic tools for decision diagram-based optimizationStochastic decision diagramsOblivious bounds on the probability of boolean functionsLagrangian bounds from decision diagramsCharacteristics of the maximal independent set ZDDDecision Diagrams for Discrete Optimization: A Survey of Recent AdvancesIntegrated integer programming and decision diagram search tree with an application to the maximum independent set problemTarget Cuts from Relaxed Decision DiagramsImproved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision DiagramsOn finding the optimal BDD relaxationOuter approximation for integer nonlinear programs via decision diagrams\( \mathrm{A}^*\) -based construction of decision diagrams for a prize-collecting scheduling problemDiscrete Optimization with Decision DiagramsSolving the Pricing Problem in a Branch-and-Price Algorithm for Graph Coloring Using Zero-Suppressed Binary Decision DiagramsDecision Diagram Decomposition for Quadratically Constrained Binary OptimizationCompiling CP subproblems to MDDs and d-DNNFsA\textsuperscript{*}-based compilation of relaxed decision diagrams for the longest common subsequence problemImproving the filtering of branch-and-bound MDD solverGraph coloring with decision diagrams


Uses Software


Cites Work