Approximations for Model Construction

DOI10.1007/978-3-319-08587-6_26zbMath1409.68264OpenAlexW199478921MaRDI QIDQ3192205

Christoph M. Wintersteiger, Philipp Rümmer, Aleksandar Zeljić

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-238017

Mathematics Subject Classification ID

Related Items (2)

Optimization modulo the theories of signed bit-vectors and floating-point numbers ⋮ Optimization modulo the theory of floating-point numbers

This page was built for publication: Approximations for Model Construction