MDD propagators with explanation (Q429805): Difference between revisions

@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLIDE
@@ Property / describes a project that uses: SLIDE / 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-011-9111-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2057501384
@@ Property / OpenAlex ID: W2057501384 / rank @@
+Normal rank
@@ Property / cites work @@
+Encodings of the Sequence Constraint
@@ Property / cites work: Encodings of the Sequence Constraint / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Fast Set Bounds Propagation Using a BDD-SAT Hybrid
+Normal rank
@@ Property / cites work @@
+Q5715712
@@ Property / cites work: Q5715712 / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Global Grammar Constraints
@@ Property / cites work: Global Grammar Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Global Grammar Constraints
@@ Property / cites work: Decomposing Global Grammar Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the Sequence Constraint
@@ Property / cites work: Revisiting the Sequence Constraint / rank @@
+Normal rank
@@ Property / cites work @@
+Branching strategies in a branch-and-price approach for a multiple objective nurse scheduling problem
+Normal rank