OptiMathSAT

swMATH32308MaRDI QIDQ44019FDOQ44019

Author name not available (Why is that?)

Official website: http://optimathsat.disi.unitn.it/index.html

Described by source

• \textsc{OptiMathSAT}: a tool for optimization modulo theories

Cited In (25)

• Optimization modulo non-linear arithmetic via incremental linearization
• ATLAS: automated amortised complexity analysis of self-adjusting data structures
• Translation-based approaches for solving disjunctive temporal problems with preferences
• Zephyrus2
• Incomplete SMT techniques for solving non-linear formulas over the integers
• Speeding up the constraint-based method in difference logic
• Optimization modulo the theory of floating-point numbers
• HyperBench
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
• Algorithm 864
• SYMBA
• SIMPLY
• Capo
• EFSMT
• vZ
• Jdrasil
• UppSAT
• CGM-Tool
• PyLMT
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• KeY-ABS
• TcT
• Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
• 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

This page was built for software: OptiMathSAT