Constraint Satisfaction Problems over Numeric Domains (Q4993596): Difference between revisions

@@ label / en / label / en @@
+Constraint Satisfaction Problems over Numeric Domains
@@ Property / DOI @@
-.4230/DFU.Vol7.15301.79
@@ Property / DOI: 10.4230/DFU.Vol7.15301.79 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Simplex Algorithms Can Solve Mean Payoff Games
+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 @@
+The Complexity of Solving Stochastic Games on Graphs
+Normal rank
@@ Property / cites work @@
+Q4188659
@@ Property / cites work: Q4188659 / rank @@
+Normal rank
@@ Property / cites work @@
+THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems Solvable by Local Consistency Methods
+Normal rank
@@ Property / cites work @@
+The wonderland of reflections
@@ Property / cites work: The wonderland of reflections / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The Max-Atom Problem and Its Relevance
@@ Property / cites work: The Max-Atom Problem and Its Relevance / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial structure and randomized subexponential algorithms for infinite games
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+Cores of Countably Categorical Structures
@@ Property / cites work: Cores of Countably Categorical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Distance constraint satisfaction problems
@@ Property / cites work: Distance constraint satisfaction problems / rank @@
+Normal rank
@@ Property / cites work @@
+Non-dichotomies in Constraint Satisfaction Complexity
+Normal rank
@@ Property / cites work @@
+On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+Essential Convexity and Complexity of Semi-Algebraic Constraints
+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 @@
+The complexity of temporal constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction tractability from semi-lattice operations on infinite sets
+Normal rank
@@ Property / cites work @@
+Max-Closed Semilinear Constraint Satisfaction
@@ Property / cites work: Max-Closed Semilinear Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems over the Integers with Successor
+Normal rank
@@ Property / cites work @@
+Transitivity of permutation groups on unordered sets
+Normal rank
@@ Property / cites work @@
+Algorithms for the Solution of Systems of Linear Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Tropical convexity
@@ Property / cites work: Tropical convexity / rank @@
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / 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 @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+A Subexponential Lower Bound for Zadeh’s Pivoting Rule for Solving Linear Programs and Games
+Normal rank
@@ Property / cites work @@
+Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
+Normal rank
@@ Property / cites work @@
+Q4155835
@@ Property / cites work: Q4155835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245641
@@ Property / cites work: Q3245641 / rank @@
+Normal rank
@@ Property / cites work @@
+Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic
+Normal rank
@@ Property / cites work @@
+Worst case behavior of the steepest edge simplex method
+Normal rank
@@ Property / cites work @@
+Tropical Effective Primary and Dual Nullstellens"atze
+Normal rank
@@ Property / cites work @@
+Q3812077
@@ Property / cites work: Q3812077 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple stochastic games, parity games, mean payoff games and discounted payoff games are all LP-type problems
+Normal rank
@@ Property / cites work @@
+An Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm
+Normal rank
@@ Property / cites work @@
+Sufficient and Necessary Conditions for Semidefinite Representability of Convex Hulls and Sets
+Normal rank
@@ Property / cites work @@
+Semidefinite representation of convex sets
@@ Property / cites work: Semidefinite representation of convex sets / rank @@
+Normal rank
@@ Property / cites work @@
+Linear matrix inequality representation of sets
@@ Property / cites work: Linear matrix inequality representation of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Simple and Fast Algorithms for Linear and Integer Programs with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / 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 @@
+The simplex algorithm with the pivot rule of maximizing criterion improvement
+Normal rank
@@ Property / cites work @@
+Universal diophantine equation
@@ Property / cites work: Universal diophantine equation / rank @@
+Normal rank
@@ Property / cites work @@
+A unifying approach to temporal constraint reasoning
+Normal rank
@@ Property / cites work @@
+Computational complexity of linear constraints over the integers
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
+Normal rank
@@ Property / cites work @@
+Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
+Normal rank
@@ Property / cites work @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051879
@@ Property / cites work: Q4051879 / rank @@
+Normal rank
@@ Property / cites work @@
+An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares
+Normal rank
@@ Property / cites work @@
+Hilbert's Nullstellensatz is in the polynomial hierarchy
+Normal rank
@@ Property / cites work @@
+Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
+Normal rank
@@ Property / cites work @@
+Intersection graphs of segments
@@ Property / cites work: Intersection graphs of segments / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Simultaneous Diophantine Approximation Problems
+Normal rank
@@ Property / cites work @@
+Integer Programming with a Fixed Number of Variables
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+Normal rank
@@ Property / cites work @@
+NP-complete decision problems for binary quadratics
+Normal rank
@@ Property / cites work @@
+Additive reducts of real closed fields
@@ Property / cites work: Additive reducts of real closed fields / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of (C, +, ·) which contain +
@@ Property / cites work: Reducts of (C, +, ·) which contain + / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in reducts of algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q4156744
@@ Property / cites work: Q4156744 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286756
@@ Property / cites work: Q4286756 / rank @@
+Normal rank
@@ Property / cites work @@
+A subexponential bound for linear programming
@@ Property / cites work: A subexponential bound for linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Genuinely Polynomial Algorithm for Linear Programming
+Normal rank
@@ Property / cites work @@
+Linear Programming in Linear Time When the Dimension Is Fixed
+Normal rank
@@ Property / cites work @@
+Scheduling with AND/OR Precedence Constraints
@@ Property / cites work: Scheduling with AND/OR Precedence Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of some structures over the reals
@@ Property / cites work: Reducts of some structures over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+An exact duality theory for semidefinite programming and its complexity implications
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Realizability of Graphs and Linkages
@@ Property / cites work: Realizability of Graphs and Linkages / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite Representation for Convex Hulls of Real Algebraic Curves
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3423328
@@ Property / cites work: Q3423328 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming and arithmetic circuit evaluation
+Normal rank
@@ Property / cites work @@
+A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+Cyclic games and linear programming
@@ Property / cites work: Cyclic games and linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+The interior-point revolution in optimization: History, recent developments, and lasting consequences
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/DFU.Vol7.15301.3
+Normal rank
@@ Property / OpenAlex ID @@
+W2592282387
@@ Property / OpenAlex ID: W2592282387 / rank @@
+Normal rank
@@ Property / title @@
+Constraint Satisfaction Problems over Numeric Domains (English)
+Normal rank
@@ Property / DOI @@
+.4230/DFU.VOL7.15301.79
@@ Property / DOI: 10.4230/DFU.VOL7.15301.79 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4993596