A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-319-45641-6_21
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2016
- Creator
- DOI
-
10.18154/RWTH-2016-07600
- URN
-
urn:nbn:de:101:1-2019051305523361103650
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
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
- Kremer, Gereon
- Corzilius, Florian
- Ábrahám, Erika
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2016
Other Objects (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