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

@@ Property / describes a project that uses @@
+RealPaver
@@ Property / describes a project that uses: RealPaver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReal
@@ Property / describes a project that uses: dReal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-40229-1_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2496780659
@@ Property / OpenAlex ID: W2496780659 / rank @@
+Normal rank
@@ 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