A conflict-driven solving procedure for poly-power constraints (Q2303230): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-018-09501-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2902626997
@@ Property / OpenAlex ID: W2902626997 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding polynomial-exponential problems
@@ Property / cites work: Deciding polynomial-exponential problems / rank @@
+Normal rank
@@ Property / cites work @@
+MetiTarski: An automatic theorem prover for real-valued special functions
+Normal rank
@@ Property / cites work @@
+On Schanuel's conjectures
@@ Property / cites work: On Schanuel's conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability modulo theories and assignments
@@ Property / cites work: Satisfiability modulo theories and assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Integer Arithmetic Revisited
@@ Property / cites work: Linear Integer Arithmetic Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability modulo transcendental functions via incremental linearization
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902405
@@ Property / cites work: Q3902405 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
+Normal rank
@@ Property / cites work @@
+Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400947
@@ Property / cites work: Q4400947 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive root isolation for poly-powers by exclusion and differentiation
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Cutting to the chase.
@@ Property / cites work: Cutting to the chase. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902876
@@ Property / cites work: Q3902876 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Reductions from Multivariate to Bi- and Univariate Integral Polynomial Factorization
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view
@@ Property / cites work: Decision procedures. An algorithmic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q3697106
@@ Property / cites work: Q3697106 / rank @@
+Normal rank
@@ Property / cites work @@
+A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Deciding polynomial-transcendental problems
@@ Property / cites work: Deciding polynomial-transcendental problems / rank @@
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Discovering polynomial Lyapunov functions for continuous dynamical systems
+Normal rank
@@ Property / cites work @@
+Transcendental Numbers. (AM-16)
@@ Property / cites work: Transcendental Numbers. (AM-16) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5301637
@@ Property / cites work: Q5301637 / rank @@
+Normal rank
@@ Property / cites work @@
+Real root isolation for tame elementary functions
@@ Property / cites work: Real root isolation for tame elementary functions / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for isolating the real solutions of semi-algebraic systems
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for a class of exponential polynomial formulas
+Normal rank
@@ Property / cites work @@
+Q3963124
@@ Property / cites work: Q3963124 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128813190
@@ Property / Wikidata QID: Q128813190 / rank @@
+Normal rank