Author: "Trentin, Patrick" / Publisher: springer netherlands - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Trentin, Patrick"' showing total 2 results

Start Over Author "Trentin, Patrick" Publisher springer netherlands

2 results on '"Trentin, Patrick"'

1. Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers

Author: Trentin, Patrick and Sebastiani, Roberto
Published: 2021
Full Text: View/download PDF

2. OptiMathSAT: A Tool for Optimization Modulo Theories

Author: Sebastiani, Roberto and Trentin, Patrick
Published: 2020
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results