- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Propagation based local search for bit-precise reasoning ; day:2 ; month:10 ; year:2017 ; pages:1-29
Formal methods in system design ; (2.10.2017), 1-29
- Creator
-
Niemetz, Aina
- Contributor
- DOI
-
10.1007/s10703-017-0295-6
- URN
-
urn:nbn:de:1111-201711269439
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 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
- Niemetz, Aina
- Preiner, Mathias
- Biere, Armin
- SpringerLink (Online service)
Other Objects (12)
Propagation based local search for bit-precise reasoning
Business in trade : BIT P & C ; precise & compact
Precise phase retrieval for propagation-based images using discrete mathematics
Search for a Monetary Propagation Mechanism
The search for counterexamples in human reasoning
Bit by Bit
bit
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Fast and accurate exhaustive higher-order epistasis search with BitEpi
Untersuchungen zu Parallelprozessorstrukturen an konkreten 8-bit/16-bit-Multiprozessorsystemen [Acht-bit-sechzehn-bit-Multiprozessorsystemen]
Bit für Bit : Computer ohne Mythen
We Accept: Bit-by-bit Constitution
Propagation based local search for bit-precise reasoning
Business in trade : BIT P & C ; precise & compact
Precise phase retrieval for propagation-based images using discrete mathematics
Search for a Monetary Propagation Mechanism
The search for counterexamples in human reasoning
Bit by Bit
bit
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Fast and accurate exhaustive higher-order epistasis search with BitEpi
Untersuchungen zu Parallelprozessorstrukturen an konkreten 8-bit/16-bit-Multiprozessorsystemen [Acht-bit-sechzehn-bit-Multiprozessorsystemen]
Bit für Bit : Computer ohne Mythen
We Accept: Bit-by-bit Constitution
Propagation based local search for bit-precise reasoning
Business in trade : BIT P & C ; precise & compact
Precise phase retrieval for propagation-based images using discrete mathematics
Search for a Monetary Propagation Mechanism
The search for counterexamples in human reasoning
Bit by Bit
bit
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Fast and accurate exhaustive higher-order epistasis search with BitEpi
Untersuchungen zu Parallelprozessorstrukturen an konkreten 8-bit/16-bit-Multiprozessorsystemen [Acht-bit-sechzehn-bit-Multiprozessorsystemen]
Bit für Bit : Computer ohne Mythen