Fully incremental cylindrical algebraic decomposition (Q2307621): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2019.07.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2965351780
@@ Property / OpenAlex ID: W2965351780 / rank @@
+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 @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+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 @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / 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 @@
+Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
+Normal rank
@@ Property / cites work @@
+Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Adapting Real Quantifier Elimination Methods for Conflict Set Computation
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Q4295433
@@ Property / cites work: Q4295433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416657
@@ Property / cites work: Q3416657 / rank @@
+Normal rank
@@ Property / cites work @@
+A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank