vZ
From MaRDI portal
Software:34457
No author found.
Related Items (15)
Optimization modulo non-linear arithmetic via incremental linearization ⋮ Search-Space Partitioning for Parallelizing SMT Solvers ⋮ Solving linear optimization over arithmetic constraint formula ⋮ Introducing Pareto minimal correction subsets ⋮ Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ LightDP: towards automating differential privacy proofs ⋮ Practical SMT-based type error localization ⋮ MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* ⋮ 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 ⋮ Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers ⋮ Speeding up the Constraint-Based Method in Difference Logic ⋮ Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints ⋮ Adaptive testing for specification coverage and refinement in CPS models
This page was built for software: vZ
