Compiling CP subproblems to MDDs and d-DNNFs (Q2331104): Difference between revisions

@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Essence
@@ Property / describes a project that uses: Essence / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-018-9297-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2900096425
@@ Property / OpenAlex ID: W2900096425 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition Based on Decision Diagrams
@@ Property / cites work: Decomposition Based on 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 @@
+An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
+Normal rank
@@ Property / cites work @@
+Lagrangian Decomposition via Sub-problem Search
@@ Property / cites work: Lagrangian Decomposition via Sub-problem Search / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting subproblem dominance in constraint programming
+Normal rank
@@ Property / cites work @@
+Multivalued Decision Diagrams for Sequencing Problems
+Normal rank
@@ Property / cites work @@
+Weighted Spanning Tree Constraint with Explanations
+Normal rank
@@ Property / cites work @@
+Auto-tabling for subproblem presolving in MiniZinc
+Normal rank
@@ Property / cites work @@
+A \texttt{cost-regular} based hybrid column generation approach
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3267900
@@ Property / cites work: Q3267900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282984
@@ Property / cites work: Q5282984 / rank @@
+Normal rank
@@ Property / cites work @@
+Essence: A constraint language for specifying combinatorial problems
+Normal rank
@@ Property / cites work @@
+MDD propagators with explanation
@@ Property / cites work: MDD propagators with explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5435012
@@ Property / cites work: Q5435012 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation meets database theory: compiling queries to decision diagrams
+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 @@
+On implementing symmetry detection
@@ Property / cites work: On implementing symmetry detection / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions and In-Place Operations for MDDs Based Constraints
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Automatic Detection of Variable and Value Symmetries
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank