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

@@ Property / describes a project that uses @@
+STR2
@@ Property / describes a project that uses: STR2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MINION
@@ Property / describes a project that uses: MINION / 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.1016/j.artint.2014.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2039916141
@@ Property / OpenAlex ID: W2039916141 / rank @@
+Normal rank
@@ 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