vZ
From MaRDI portal
Software:34457
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
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks*
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Speeding up the Constraint-Based Method in Difference Logic
- 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
- Search-Space Partitioning for Parallelizing SMT Solvers
- Introducing Pareto minimal correction subsets
- Practical SMT-based type error localization
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
- Adaptive testing for specification coverage and refinement in CPS models
This page was built for software: vZ
