Max-Closed Semilinear Constraint Satisfaction (Q5740179): Difference between revisions

@@ Property / cites work @@
+TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES
+Normal rank
@@ Property / cites work @@
+Mean-Payoff Games and Propositional Proofs
@@ Property / cites work: Mean-Payoff Games and Propositional Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
+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 @@
+Semilinear Program Feasibility
@@ Property / cites work: Semilinear Program Feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+Essential Convexity and Complexity of Semi-Algebraic Constraints
+Normal rank
@@ Property / cites work @@
+Tropically convex constraint satisfaction
@@ Property / cites work: Tropically convex constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems over the Integers with Successor
+Normal rank
@@ Property / cites work @@
+A Pumping Algorithm for Ergodic Stochastic Mean Payoff Games with Perfect Information
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Tropical convexity
@@ Property / cites work: Tropical convexity / 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 @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245641
@@ Property / cites work: Q3245641 / rank @@
+Normal rank
@@ Property / cites work @@
+Tropical Effective Primary and Dual Nullstellens"atze
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / 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 @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / 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 @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+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 @@
+Q3874283
@@ Property / cites work: Q3874283 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of convex semilinear sets
@@ Property / cites work: A representation of convex semilinear sets / rank @@
+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