raSAT: An SMT Solver for Polynomial Constraints (Q2817923): Difference between revisions

@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457277
@@ Property / cites work: Q5457277 / rank @@
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+Normal rank
@@ Property / cites work @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval arithmetic
@@ Property / cites work: Interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5421933
@@ Property / cites work: Q5421933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Combined Decision Techniques for the Existential Theory of the Reals
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+raSAT: an SMT solver for polynomial constraints
@@ Property / cites work: raSAT: an SMT solver for polynomial constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of Non-linear (Ir)rational Arithmetic
+Normal rank