SYMBA
From MaRDI portal
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
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints
- Search-space partitioning for parallelizing SMT solvers
- Algorithm 864
- LogMIP
- LBS
- PAGAI
- IKOS
- CARMA
- PALOMA
- BOXES
- vZ
- UppSAT
- 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
- Satisfiability checking: theory and applications
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- Solving linear optimization over arithmetic constraint formula
- Combining Model Checking and Deduction
- Symbolic computation of differential equivalences
- Structured learning modulo theories
- Symbolic optimization with SMT solvers
- Zephyrus2
This page was built for software: SYMBA
