swMATH32308MaRDI QIDQ44019FDOQ44019
Author name not available (Why is that?)
Official website: http://optimathsat.disi.unitn.it/index.html
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
