OptiMathSAT
From MaRDI portal
Software:44019
No author found.
Related Items (11)
Optimization modulo non-linear arithmetic via incremental linearization ⋮ ATLAS: automated amortised complexity analysis of self-adjusting data structures ⋮ 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* ⋮ 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 ⋮ 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 ⋮ 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
This page was built for software: OptiMathSAT
