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

@@ 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