vZ

swMATH22666MaRDI QIDQ34457FDOQ34457

Author name not available (Why is that?)

Cited In (15)

• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• Optimization modulo non-linear arithmetic via incremental linearization
• Block-wise abstract interpretation by combining abstract domains with SMT
• Incomplete SMT techniques for solving non-linear formulas over the integers
• Search-space partitioning for parallelizing SMT solvers
• Speeding up the constraint-based method in difference logic
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• Solving linear optimization over arithmetic constraint formula
• LightDP: towards automating differential privacy proofs
• Introducing Pareto minimal correction subsets
• Practical SMT-based type error localization
• MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
• Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
• Adaptive testing for specification coverage and refinement in CPS models

This page was built for software: vZ