A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.1007/978-3-319-45641-6_21
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2016
- Urheber
- DOI
-
10.18154/RWTH-2016-07600
- URN
-
urn:nbn:de:101:1-2019051305523361103650
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
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
- Kremer, Gereon
- Corzilius, Florian
- Ábrahám, Erika
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2016
Ähnliche Objekte (12)
Satisfiability Modulo Exponential Integer Arithmetic
Arithmetic functions and integer products
Verification of integer multipliers on the arithmetic bit level
The construction problem for Hodge numbers modulo an integer in positive characteristic
Models of true arithmetic are integer parts of models of real exponentation
Models of true arithmetic are integer parts of nice real closed fields
Generalised Beltrami equations
Superposition modulo theory
Interpolation modulo theories
Generalised elliptic boundary problems
Generalised instrumental variable models
Generalised Random Categorisation Rules
Satisfiability Modulo Exponential Integer Arithmetic
Arithmetic functions and integer products
Verification of integer multipliers on the arithmetic bit level
The construction problem for Hodge numbers modulo an integer in positive characteristic
Models of true arithmetic are integer parts of models of real exponentation
Models of true arithmetic are integer parts of nice real closed fields
Generalised Beltrami equations
Superposition modulo theory
Interpolation modulo theories
Generalised elliptic boundary problems
Generalised instrumental variable models
Generalised Random Categorisation Rules
Satisfiability Modulo Exponential Integer Arithmetic
Arithmetic functions and integer products
Verification of integer multipliers on the arithmetic bit level
The construction problem for Hodge numbers modulo an integer in positive characteristic
Models of true arithmetic are integer parts of models of real exponentation
Models of true arithmetic are integer parts of nice real closed fields
Generalised Beltrami equations
Superposition modulo theory
Interpolation modulo theories
Generalised elliptic boundary problems
Generalised instrumental variable models