Pages that link to "Item:Q5194955"
From MaRDI portal
The following pages link to Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (Q5194955):
Displaying 8 items.
- Structured learning modulo theories (Q511777) (← 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)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Delegatable Functional Signatures (Q2798783) (← links)
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo (Q3003304) (← links)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)