Generating custom propagators for arbitrary constraints (Q2453695): Difference between revisions

@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and solving English peg solitaire
@@ Property / cites work: Modelling and solving English peg solitaire / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal coarse-grained arc consistency algorithm
+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 @@
+STR2: optimized simple tabular reduction for table constraints
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Generalized Arc Consistency for Positive Table Constraints
+Normal rank
@@ Property / cites work @@
+Q3455570
@@ Property / cites work: Q3455570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating custom propagators for arbitrary constraints
+Normal rank
@@ Property / cites work @@
+Reformulation of global constraints based on constraints checkers
+Normal rank
@@ Property / cites work @@
+View-based propagator derivation
@@ Property / cites work: View-based propagator derivation / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint programming and hybrid formulations for three life designs
+Normal rank
@@ Property / cites work @@
+Finding the smallest image of a set
@@ Property / cites work: Finding the smallest image of a set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3840855
@@ Property / cites work: Q3840855 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry definitions for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constraint programming viewed as rule-based programming
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation algorithms for lexicographic ordering constraints
+Normal rank