OptiMathSAT
From MaRDI portal
Software:44019
swMATH32308MaRDI QIDQ44019FDOQ44019
Author name not available (Why is that?)
Cited In (11)
- 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
- 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
- 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
- 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
