vZ
From MaRDI portal
VZ
Cited in
(35)- Solving linear optimization over arithmetic constraint formula
- Introducing Pareto minimal correction subsets
- Algorithm 864
- 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
- SYMBA
- 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
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Pufferfish
- PAGAI
- Speeding up the constraint-based method in difference logic
- Block-wise abstract interpretation by combining abstract domains with SMT
- Practical SMT-based type error localization
- VOLT
- EFSMT
- BOXES
- AI-Toolbox
- LightDP
- SHErrLoc
- EasyOCaml
- Search-space partitioning for parallelizing SMT solvers
- UppSAT
- REBA
- PyLMT
- OptiMathSAT
- CGM-Tool
- Incomplete SMT techniques for solving non-linear formulas over the integers
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- LightDP: towards automating differential privacy proofs
- KeY-ABS
- Pomp++
- XPOMCP
- Zephyrus2
- Optimization modulo non-linear arithmetic via incremental linearization
This page was built for software: vZ
