Pages that link to "Item:Q2303246"
From MaRDI portal
The following pages link to \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246):
Displayed 8 items.
- OptiMathSAT (Q44019) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← 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)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- Computing optimal hypertree decompositions with SAT (Q6067037) (← links)