Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569): Difference between revisions

@@ Property / describes a project that uses @@
+Boolector
@@ Property / describes a project that uses: Boolector / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+vZ
@@ Property / describes a project that uses: vZ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / 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/s10817-021-09600-4
+Normal rank
@@ Property / OpenAlex ID @@
+W3185622705
@@ Property / OpenAlex ID: W3185622705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848685
@@ Property / cites work: Q2848685 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding floating-point logic with abstract conflict driven clause learning
+Normal rank
@@ Property / cites work @@
+Q3181652
@@ Property / cites work: Q3181652 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo the Theory of Costs: Foundations and Applications
+Normal rank
@@ Property / cites work @@
+A Modular Approach to MaxSAT Modulo Theories
@@ Property / cites work: A Modular Approach to MaxSAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Bit-Vectors and Arrays
@@ Property / cites work: A Decision Procedure for Bit-Vectors and Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
+Normal rank
@@ Property / cites work @@
+Symbolic optimization with SMT solvers
@@ Property / cites work: Symbolic optimization with SMT solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation based local search for bit-precise reasoning
+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 @@
+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 @@
+\textsc{OptiMathSAT}: a tool for optimization modulo theories
+Normal rank
@@ Property / cites work @@
+Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
+Normal rank
@@ Property / cites work @@
+Optimization modulo the theory of floating-point numbers
+Normal rank
@@ Property / cites work @@
+Exploring approximations for floating-point arithmetic using UppSAT
+Normal rank
@@ Property / cites work @@
+Approximations for Model Construction
@@ Property / cites work: Approximations for Model Construction / rank @@
+Normal rank
@@ Property / cites work @@
+An approximation framework for solvers and decision procedures
+Normal rank