OptiMathSAT
From MaRDI portal
Cited in
(26)- Speeding up the constraint-based method in difference logic
- 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 non-linear arithmetic via incremental linearization
- ATLAS: automated amortised complexity analysis of self-adjusting data structures
- Zephyrus2
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- Incomplete SMT techniques for solving non-linear formulas over the integers
- HyperBench
- Optimization modulo the theory of floating-point numbers
- MiniCon
- Algorithm 864
- SYMBA
- SIMPLY
- Capo
- EFSMT
- vZ
- Jdrasil
- UppSAT
- CGM-Tool
- PyLMT
- KeY-ABS
- TcT
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- Translation-based approaches for solving disjunctive temporal problems with preferences
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
This page was built for software: OptiMathSAT
