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
- 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
- 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
- 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
