Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
OptiMathSAT: A Tool for Optimization Modulo Theories
2015-01-01 Sebastiani, Roberto; Trentin, Patrick
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
2015-01-01 Sebastiani, Roberto; Trentin, Patrick
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT
2016-01-01 Sebastiani, Roberto; Trentin, Patrick
OpenMath and SMT-LIB
2017-01-01 Davenport, James H.; England, Matthew; Sebastiani, Roberto; Trentin, Patrick
On Optimization Modulo Theories, MaxSMT and Sorting Networks
2017-01-01 Sebastiani, Roberto; Trentin, Patrick
Optimization Modulo Theories with OptiMathSAT
2019-01-01 Trentin, Patrick
Optimization Modulo the Theory of Floating-Point Numbers
2019-01-01 Trentin, Patrick; Sebastiani, Roberto
From MiniZinc to Optimization Modulo Theories, and Back
2020-01-01 Contaldo, F.; Trentin, P.; Sebastiani, R.
OptiMathSAT: A Tool for Optimization Modulo Theories
2020-01-01 Sebastiani, Roberto; Trentin, Patrick
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
2021-01-01 Trentin, P.; Sebastiani, R.
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, F.; Cimatti, A.; Griggio, A.; Irfan, A.; Jonas, M.; Roveri, M.; Sebastiani, R.; Trentin, P.
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile