On the speed of constraint propagation and the time complexity of arc consistency testing (Q2409578): Difference between revisions

@@ Property / author @@
-Oleg Verbitsky
@@ Property / author: Oleg Verbitsky / rank @@
-Normal rank
@@ Property / author @@
+Oleg Verbitsky
@@ Property / author: Oleg Verbitsky / 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.jcss.2017.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1608872751
@@ Property / OpenAlex ID: W1608872751 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Existential Pebble Games and k-Consistency Tests
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / 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 @@
+AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
+Normal rank
@@ Property / cites work @@
+On the expressive power of Datalog: tools and a case study.
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Power of k-Consistency
@@ Property / cites work: On the Power of k-Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial characterization of resolution width
+Normal rank
@@ Property / cites work @@
+Q3835053
@@ Property / cites work: Q3835053 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel consistent labeling algorithms
@@ Property / cites work: Parallel consistent labeling algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal coarse-grained arc consistency algorithm
+Normal rank
@@ Property / cites work @@
+On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing
+Normal rank
@@ Property / cites work @@
+The Difference Between Consecutive Primes, II
@@ Property / cites work: The Difference Between Consecutive Primes, II / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for the Quantifier Depth in Finite-Variable Logics
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+On the parallel complexity of discrete relaxation in constraint satisfaction networks
+Normal rank
@@ Property / cites work @@
+Certifying algorithms
@@ Property / cites work: Certifying algorithms / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2409578