Decision Diagrams for Discrete Optimization: A Survey of Recent Advances (Q5106421): Difference between revisions

@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+New Route Relaxation and Pricing Strategies for the Vehicle Routing Problem
+Normal rank
@@ Property / cites work @@
+New State-Space Relaxations for Solving the Traveling Salesman Problem with Time Windows
+Normal rank
@@ Property / cites work @@
+Branch-and-Price: Column Generation for Solving Huge Integer Programs
+Normal rank
@@ Property / cites work @@
+Experimental and Efficient Algorithms
@@ Property / cites work: Experimental and Efficient Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+On threshold BDDs and the optimal variable ordering problem
+Normal rank
@@ Property / cites work @@
+/1 vertex and facet enumeration with BDDs
@@ Property / cites work: 0/1 vertex and facet enumeration with BDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioning procedures for solving mixed-variables programming problems
+Normal rank
@@ Property / cites work @@
+Decomposition Based on Decision Diagrams
@@ Property / cites work: Decomposition Based on Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical insights and algorithmic tools for decision diagram-based optimization
+Normal rank
@@ Property / cites work @@
+On finding the optimal BDD relaxation
@@ Property / cites work: On finding the optimal BDD relaxation / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Diagram Decomposition for Quadratically Constrained Binary Optimization
+Normal rank
@@ Property / cites work @@
+Binary decision diagrams for bin packing with minimum color fragmentation
+Normal rank
@@ Property / cites work @@
+MDD Propagation for Sequence Constraints
@@ Property / cites work: MDD Propagation for Sequence Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Lagrangian bounds from decision diagrams
@@ Property / cites work: Lagrangian bounds from decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Manipulating MDD Relaxations for Combinatorial Optimization
+Normal rank
@@ Property / cites work @@
+Optimization Bounds from Binary Decision Diagrams
@@ Property / cites work: Optimization Bounds from Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Decision diagrams for optimization
@@ Property / cites work: Decision diagrams for optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Optimization with Decision Diagrams
@@ Property / cites work: Discrete Optimization with Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Combinatorial Optimization with Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Q4597712
@@ Property / cites work: Q4597712 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+An MDD-Based Lagrangian Approach to the Multicommodity Pickup-and-Delivery TSP
+Normal rank
@@ Property / cites work @@
+A combinatorial cut-and-lift procedure with an application to 0-1 second-order conic programming
+Normal rank
@@ Property / cites work @@
+Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics
+Normal rank
@@ Property / cites work @@
+An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
+Normal rank
@@ Property / cites work @@
+State-space relaxation procedures for the computation of bounds to routing problems
+Normal rank
@@ Property / cites work @@
+Multivalued Decision Diagrams for Sequencing Problems
+Normal rank
@@ Property / cites work @@
+Integer Programming
@@ Property / cites work: Integer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Valid inequalities for mixed integer linear programs
+Normal rank
@@ Property / cites work @@
+Strong relaxations for continuous nonlinear programs based on decision diagrams
+Normal rank
@@ Property / cites work @@
+Outer approximation for integer nonlinear programs via decision diagrams
+Normal rank
@@ Property / cites work @@
+Arc flow formulations based on dynamic programming: theoretical foundations and applications
+Normal rank
@@ Property / cites work @@
+Compiling CP subproblems to MDDs and d-DNNFs
@@ Property / cites work: Compiling CP subproblems to MDDs and d-DNNFs / rank @@
+Normal rank
@@ Property / cites work @@
+Single-machine scheduling with release times, deadlines, setup times, and rejection
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+MDD propagators with explanation
@@ Property / cites work: MDD propagators with explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the filtering of branch-and-bound MDD solver
+Normal rank
@@ Property / cites work @@
+Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem
+Normal rank
@@ Property / cites work @@
+BDD-based optimization for the quadratic stable set problem
+Normal rank
@@ Property / cites work @@
+Logic-Based Benders Decomposition and Binary Decision Diagram Based Approaches for Stochastic Distributed Operating Room Scheduling
+Normal rank
@@ Property / cites work @@
+Cost-Bounded Binary Decision Diagrams for 0-1 Programming
+Normal rank
@@ Property / cites work @@
+Compact representations of all members of an independence system
+Normal rank
@@ Property / cites work @@
+Decision Diagrams and Dynamic Programming
@@ Property / cites work: Decision Diagrams and Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A\textsuperscript{*}-based compilation of relaxed decision diagrams for the longest common subsequence problem
+Normal rank
@@ Property / cites work @@
+\( \mathrm{A}^*\) -based construction of decision diagrams for a prize-collecting scheduling problem
+Normal rank
@@ Property / cites work @@
+Exact Multiple Sequence Alignment by Synchronized Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Checking constraint satisfaction
@@ Property / cites work: Checking constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+An MDD Approach to Multidimensional Bin Packing
@@ Property / cites work: An MDD Approach to Multidimensional Bin Packing / rank @@
+Normal rank
@@ Property / cites work @@
+BDD-Guided Clause Generation
@@ Property / cites work: BDD-Guided Clause Generation / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid optimization methods for time-dependent sequencing problems
+Normal rank
@@ Property / cites work @@
+A Branch-and-Price Algorithm for Parallel Machine Scheduling Using ZDDs and Generic Branching
+Normal rank
@@ Property / cites work @@
+A binary decision diagram based algorithm for solving a class of binary two-stage stochastic programs
+Normal rank
@@ Property / cites work @@
+On the Consistent Path Problem
@@ Property / cites work: On the Consistent Path Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Alternative Mixed-Integer Programming Models Using Variable Redefinition
+Normal rank
@@ Property / cites work @@
+Solving the Pricing Problem in a Branch-and-Price Algorithm for Graph Coloring Using Zero-Suppressed Binary Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Network-Based Approximate Linear Programming for Discrete Optimization
+Normal rank
@@ Property / cites work @@
+Decision diagrams for solving traveling salesman problems with pickup and delivery in real time
+Normal rank
@@ Property / cites work @@
+Improving branch-and-bound using decision diagrams and reinforcement learning
+Normal rank
@@ Property / cites work @@
+Constructions and In-Place Operations for MDDs Based Constraints
+Normal rank
@@ Property / cites work @@
+MDDs are efficient modeling tools: an application to some statistical constraints
+Normal rank
@@ Property / cites work @@
+A local search framework for compiling relaxed decision diagrams
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerative branching with less repetition
@@ Property / cites work: Enumerative branching with less repetition / rank @@
+Normal rank
@@ Property / cites work @@
+Compact representation of near-optimal integer programming solutions
+Normal rank
@@ Property / cites work @@
+Last-mile scheduling under uncertainty
@@ Property / cites work: Last-mile scheduling under uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Exact computation of strongly connected reliability by binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Target Cuts from Relaxed Decision Diagrams
@@ Property / cites work: Target Cuts from Relaxed Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Incorporating bounds from decision diagrams into integer programming
+Normal rank
@@ Property / cites work @@
+Multi-machine scheduling lower bounds using decision diagrams
+Normal rank
@@ Property / cites work @@
+Graph Coloring Lower Bounds from Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Graph coloring with decision diagrams
@@ Property / cites work: Graph coloring with decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Extending compact-diagram to basic smart multi-valued variable diagrams
+Normal rank
@@ Property / cites work @@
+From MDD to BDD and arc consistency
@@ Property / cites work: From MDD to BDD and arc consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943600
@@ Property / cites work: Q4943600 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding decision diagrams into generative adversarial networks
+Normal rank