A new tractable class of constraint satisfaction problems (Q1776199): Difference between revisions

@@ Property / author @@
-Victor Dalmau
@@ Property / author: Victor Dalmau / rank @@
-Normal rank
@@ Property / author @@
+Victor Dalmau
@@ Property / author: Victor Dalmau / 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.1007/s10472-005-1810-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2155002729
@@ Property / OpenAlex ID: W2155002729 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial problems raised from 2-semilattices
@@ Property / cites work: Combinatorial problems raised from 2-semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4407431
@@ Property / cites work: Q4407431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754150
@@ Property / cites work: Q2754150 / rank @@
+Normal rank
@@ Property / cites work @@
+Para primal algebras
@@ Property / cites work: Para primal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Plain para primal algebras
@@ Property / cites work: Plain para primal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising tractable constraints
@@ Property / cites work: Characterising tractable constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Learnability of quantified formulas.
@@ Property / cites work: Learnability of quantified formulas. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495111
@@ Property / cites work: Q4495111 / rank @@
+Normal rank
@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+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 @@
+A sufficient condition for backtrack-bounded search
+Normal rank
@@ Property / cites work @@
+Decomposing constraint satisfaction problems using database techniques
+Normal rank
@@ Property / cites work @@
+On the complexity of H-coloring
@@ Property / cites work: On the complexity of H-coloring / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable constraints on ordered domains
@@ Property / cites work: Tractable constraints on ordered domains / rank @@
+Normal rank
@@ Property / cites work @@
+Fast parallel constraint satisfaction
@@ Property / cites work: Fast parallel constraint satisfaction / 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 @@
+Q3666906
@@ Property / cites work: Q3666906 / rank @@
+Normal rank
@@ Property / cites work @@
+Homogeneous operations and homogeneous algebras
@@ Property / cites work: Homogeneous operations and homogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Constraint relaxation may be perfect
@@ Property / cites work: Constraint relaxation may be perfect / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank
@@ Property / cites work @@
+On the minimality and global consistency of row-convex constraint networks
+Normal rank
@@ Property / cites work @@
+A generic arc-consistency algorithm and its specializations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1776199