swMATH22666MaRDI QIDQ34457FDOQ34457
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-662-46681-0_14
Cited In (32)
- \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
- Zephyrus2
- 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
- Algorithm 864
- SYMBA
- Pufferfish
- PAGAI
- EFSMT
- VOLT
- BOXES
- AI-Toolbox
- EasyOCaml
- LightDP
- UppSAT
- REBA
- CGM-Tool
- OptiMathSAT
- PyLMT
- 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
- KeY-ABS
- 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
