The complexity of equality constraint languages (Q929295): Difference between revisions

@@ 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/s00224-007-9083-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2087215337
@@ Property / OpenAlex ID: W2087215337 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems: Refining Schaefer's theorem
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems with Infinite Templates
+Normal rank
@@ Property / cites work @@
+Datalog and Constraint Satisfaction with Infinite Templates
+Normal rank
@@ Property / cites work @@
+The Complexity of Equality Constraint Languages
@@ Property / cites work: The Complexity of Equality Constraint Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction with Countable Homogeneous Templates
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Q3995219
@@ Property / cites work: Q3995219 / rank @@
+Normal rank
@@ Property / cites work @@
+Building tractable disjunctive constraints
@@ Property / cites work: Building tractable disjunctive constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Local and global relational consistency
@@ Property / cites work: Local and global relational consistency / rank @@
+Normal rank
@@ Property / cites work @@
+`` Strong '' NP-Completeness Results
@@ Property / cites work: `` Strong '' NP-Completeness Results / rank @@
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+The maximal clones on countable sets that include all permutations.
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4861481
@@ Property / cites work: Q4861481 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal clones on uncountable sets that include all permutations
+Normal rank
@@ Property / cites work @@
+Q5478078
@@ Property / cites work: Q5478078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank
@@ Property / cites work @@
+NP is as easy as detecting unique solutions
@@ Property / cites work: NP is as easy as detecting unique solutions / rank @@
+Normal rank