SYMBA
From MaRDI portal
Software:20537
swMATH8528MaRDI QIDQ20537FDOQ20537
Author name not available (Why is that?)
Cited In (13)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Satisfiability Checking: Theory and Applications
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints
- Quantitative Abstractions for Collective Adaptive Systems
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
- 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
- Search-Space Partitioning for Parallelizing SMT Solvers
- 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
