Tractability conditions for numeric CSPs (Q683751): Difference between revisions

@@ Property / cites work @@
+Polynomial algorithms for linear programming over the algebraic numbers
+Normal rank
@@ Property / cites work @@
+On the Complexity of Numerical Analysis
@@ Property / cites work: On the Complexity of Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Non-dichotomies in Constraint Satisfaction Complexity
+Normal rank
@@ Property / cites work @@
+Essential Convexity and Complexity of Semi-Algebraic Constraints
+Normal rank
@@ Property / cites work @@
+Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
+Normal rank
@@ Property / cites work @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The complexity of surjective homomorphism problems-a survey
+Normal rank
@@ Property / cites work @@
+Max-Closed Semilinear Constraint Satisfaction
@@ Property / cites work: Max-Closed Semilinear Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems over Numeric Domains
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+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 Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Q4155835
@@ Property / cites work: Q4155835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821338
@@ Property / cites work: Q4821338 / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient and Necessary Conditions for Semidefinite Representability of Convex Hulls and Sets
+Normal rank
@@ Property / cites work @@
+Simple and Fast Algorithms for Linear and Integer Programs with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Computational complexity of linear constraints over the integers
+Normal rank
@@ Property / cites work @@
+Affine Consistency and the Complexity of Semilinear Constraints
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
+Normal rank
@@ Property / cites work @@
+Q3999699
@@ Property / cites work: Q3999699 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Simultaneous Diophantine Approximation Problems
+Normal rank
@@ Property / cites work @@
+Q4513933
@@ Property / cites work: Q4513933 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An exact duality theory for semidefinite programming and its complexity implications
+Normal rank
@@ Property / cites work @@
+Complexity of Some Geometric and Topological Problems
+Normal rank
@@ Property / cites work @@
+Fixed points, Nash equilibria, and the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank