SYMBA
From MaRDI portal
Software:20537
No author found.
Related Items (13)
Search-Space Partitioning for Parallelizing SMT Solvers ⋮ Combining Model Checking and Deduction ⋮ Satisfiability Checking: Theory and Applications ⋮ Solving linear optimization over arithmetic constraint formula ⋮ Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ Structured learning modulo theories ⋮ Symbolic optimization with SMT solvers ⋮ An interleaved depth-first search method for the linear optimization problem with disjunctive constraints ⋮ 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 ⋮ \textsc{OptiMathSAT}: a tool for optimization modulo theories ⋮ Symbolic computation of differential equivalences ⋮ Quantitative Abstractions for Collective Adaptive Systems
This page was built for software: SYMBA
