Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers ; volume:65 ; number:7 ; day:23 ; month:7 ; year:2021 ; pages:1071-1096 ; date:10.2021
Journal of automated reasoning ; 65, Heft 7 (23.7.2021), 1071-1096, 10.2021
- Creator
-
Trentin, Patrick
Sebastiani, Roberto
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-021-09600-4
- URN
-
urn:nbn:de:101:1-2021111618265852973229
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Trentin, Patrick
- Sebastiani, Roberto
- SpringerLink (Online service)
Other Objects (12)
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
Novel adaptive quantization methodology for 8-bit floating-point DNN training
Signed representing measures
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Interpolation modulo theories
Superposition modulo theory
Abstraction Modulo Stability
Verification modulo theories
Coloring of signed graphs
Efficient SMT solving for bit vectors and the extensional theory of arrays
Modulo te tuo metire.
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
Novel adaptive quantization methodology for 8-bit floating-point DNN training
Signed representing measures
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Interpolation modulo theories
Superposition modulo theory
Abstraction Modulo Stability
Verification modulo theories
Coloring of signed graphs
Efficient SMT solving for bit vectors and the extensional theory of arrays
Modulo te tuo metire.
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
Novel adaptive quantization methodology for 8-bit floating-point DNN training
Signed representing measures
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Interpolation modulo theories
Superposition modulo theory
Abstraction Modulo Stability
Verification modulo theories
Coloring of signed graphs
Efficient SMT solving for bit vectors and the extensional theory of arrays