Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Trentin, Patrick
Sebastiani, Roberto
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-021-09600-4
- URN
-
urn:nbn:de:101:1-2021111618265852973229
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:32 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Trentin, Patrick
- Sebastiani, Roberto
- SpringerLink (Online service)
Ähnliche Objekte (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
Superposition modulo theory
Interpolation modulo theories
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
Superposition modulo theory
Interpolation modulo theories
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
Superposition modulo theory
Interpolation modulo theories
Abstraction Modulo Stability
Verification modulo theories
Coloring of signed graphs
Efficient SMT solving for bit vectors and the extensional theory of arrays