vZ
From MaRDI portal
VZ
Cited in
(35)- Optimization modulo non-linear arithmetic via incremental linearization
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Block-wise abstract interpretation by combining abstract domains with SMT
- Search-space partitioning for parallelizing SMT solvers
- Incomplete SMT techniques for solving non-linear formulas over the integers
- Speeding up the constraint-based method in difference logic
- Algorithm 864
- SYMBA
- Pufferfish
- PAGAI
- EFSMT
- VOLT
- BOXES
- AI-Toolbox
- EasyOCaml
- LightDP
- SHErrLoc
- UppSAT
- REBA
- CGM-Tool
- OptiMathSAT
- PyLMT
- KeY-ABS
- 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
- Pomp++
- XPOMCP
- 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
- Zephyrus2
This page was built for software: vZ
