vZ

swMATH22666MaRDI QIDQ34457FDOQ34457

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-662-46681-0_14

Cited In (35)

• Pomp++
• XPOMCP
• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• Optimization modulo non-linear arithmetic via incremental linearization
• Block-wise abstract interpretation by combining abstract domains with SMT
• Zephyrus2
• Incomplete SMT techniques for solving non-linear formulas over the integers
• Search-space partitioning for parallelizing SMT solvers
• Speeding up the constraint-based method in difference logic
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
• Algorithm 864
• SYMBA
• Pufferfish
• PAGAI
• EFSMT
• VOLT
• BOXES
• AI-Toolbox
• EasyOCaml
• LightDP
• SHErrLoc
• UppSAT
• REBA
• CGM-Tool
• OptiMathSAT
• PyLMT
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• Solving linear optimization over arithmetic constraint formula
• LightDP: towards automating differential privacy proofs
• KeY-ABS
• Introducing Pareto minimal correction subsets
• 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
• 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