swMATH8528MaRDI QIDQ20537FDOQ20537
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2535857
Cited In (28)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Quantitative abstractions for collective adaptive systems
- Block-wise abstract interpretation by combining abstract domains with SMT
- Zephyrus2
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints
- Search-space partitioning for parallelizing SMT solvers
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Algorithm 864
- LogMIP
- LBS
- PAGAI
- IKOS
- Satisfiability checking: theory and applications
- CARMA
- PALOMA
- BOXES
- vZ
- UppSAT
- CGM-Tool
- OptiMathSAT
- PyLMT
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- Solving linear optimization over arithmetic constraint formula
- KeY-ABS
- Symbolic computation of differential equivalences
- Combining Model Checking and Deduction
- Symbolic optimization with SMT solvers
- Structured learning modulo theories
This page was built for software: SYMBA
