STR3: a path-optimal filtering algorithm for table constraints (Q2341830): Difference between revisions

@@ Property / describes a project that uses @@
+INGRES
@@ Property / describes a project that uses: INGRES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STR2
@@ Property / describes a project that uses: STR2 / 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.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1990422819
@@ Property / OpenAlex ID: W1990422819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455570
@@ Property / cites work: Q3455570 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Arc Consistency for Positive Table Constraints
+Normal rank
@@ Property / cites work @@
+An optimal coarse-grained arc consistency algorithm
+Normal rank
@@ Property / cites work @@
+Partition search for non-binary constraint satisfaction
+Normal rank
@@ Property / cites work @@
+STR2: optimized simple tabular reduction for table constraints
+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 @@
+Optimal Implementation of Watched Literals and More General Techniques
+Normal rank
@@ Property / cites work @@
+Fast Set Bounds Propagation Using a BDD-SAT Hybrid
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic arc-consistency algorithm and its specializations
+Normal rank
@@ Property / cites work @@
+Using constraint metaknowledge to reduce arc consistency computation
+Normal rank
@@ Property / cites work @@
+Optimal and efficient filtering algorithms for table constraints
+Normal rank
@@ Property / cites work @@
+Consistency restoration and explanations in dynamic CSPs---Application to configuration
+Normal rank
@@ Property / cites work @@
+Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank
@@ Property / cites work @@
+Tree clustering for constraint networks
@@ Property / cites work: Tree clustering for constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Sliced Table Constraints: Combining Compression and Tabular Reduction
+Normal rank
@@ Property / cites work @@
+Improving the lower bound of simple tabular reduction
+Normal rank