MDD propagators with explanation (Q429805): Difference between revisions

@@ 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