The following pages link to OptiMathSAT (Q44019):
Displaying 12 items.
- (Q48013) (redirect page) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (Q2043801) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints (Q2074672) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Translation-based approaches for solving disjunctive temporal problems with preferences (Q2331097) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers (Q4972164) (← links)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
