The following pages link to Patrick Trentin (Q831942):
Displaying 6 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- From \textsc{MiniZinc} to optimization modulo theories, and back (Q2110398) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (Q5194955) (← links)
