Optimization modulo non-linear arithmetic via incremental linearization (Q831943): 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 @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
+Normal rank
@@ Property / cites work @@
+SAT modulo linear arithmetic for solving polynomial constraints
+Normal rank
@@ Property / cites work @@
+A CDCL-style calculus for solving non-linear constraints
+Normal rank
@@ Property / cites work @@
+Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+From \textsc{MiniZinc} to optimization modulo theories, and back
+Normal rank
@@ Property / cites work @@
+Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27--29, 2017. Proceedings
+Normal rank
@@ Property / cites work @@
+Subtropical satisfiability
@@ Property / cites work: Subtropical satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Solving for Termination Analysis with Polynomial Interpretations
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+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 @@
+Delta-decision procedures for exists-forall problems over the reals
+Normal rank
@@ Property / cites work @@
+Fully incremental cylindrical algebraic decomposition
+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 @@
+Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+On SAT Modulo Theories and Optimization Problems
@@ Property / cites work: On SAT Modulo Theories and Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Designing theory solvers with extensions
@@ Property / cites work: Designing theory solvers with extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions
+Normal rank
@@ Property / cites work @@
+Optimization Modulo Theories with Linear Rational Costs
+Normal rank
@@ Property / cites work @@
+Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
+Normal rank
@@ Property / cites work @@
+\textsc{OptiMathSAT}: a tool for optimization modulo theories
+Normal rank
@@ Property / cites work @@
+Q4804919
@@ Property / cites work: Q4804919 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization modulo the theory of floating-point numbers
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Satisfiability of Non-linear (Ir)rational Arithmetic
+Normal rank