Levelwise construction of a single cylindrical algebraic cell (Q6149151): Difference between revisions

@@ Property / cites work @@
+Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
+Normal rank
@@ Property / cites work @@
+Flexible proof production in an industrial-strength SMT solver
+Normal rank
@@ Property / cites work @@
+Truth table invariant cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Constructing a single open cell in a cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Open Non-uniform Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
+Normal rank
@@ Property / cites work @@
+Constructing a single cell in cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Enhancements to Lazard's method for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
+Normal rank
@@ Property / cites work @@
+Q4391215
@@ Property / cites work: Q4391215 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Constructing Satisfiability Calculus
@@ Property / cites work: A Model-Constructing Satisfiability Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizations of the subresultant algorithm
@@ Property / cites work: Optimizations of the subresultant algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition with equational constraints
+Normal rank
@@ Property / cites work @@
+Q4293510
@@ Property / cites work: Q4293510 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Nonlinear Integer Arithmetic with MCSAT
@@ Property / cites work: Solving Nonlinear Integer Arithmetic with MCSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295433
@@ Property / cites work: Q4295433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+On using Lazard's projection in CAD construction
@@ Property / cites work: On using Lazard's projection in CAD construction / rank @@
+Normal rank
@@ Property / cites work @@
+Validity proof of Lazard's method for CAD construction
+Normal rank
@@ Property / cites work @@
+Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank