- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Bibliographic citation
-
Technische Berichte des Instituts für Informatik ; Nr. 12,07
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Institut für Informatik / Christian-Albrechts-Universität zu Kiel
- (when)
-
2012
- Creator
-
Sieweck, Philipp
- URN
-
urn:nbn:de:101:1-2012062210511
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
- Sieweck, Philipp
- Institut für Informatik / Christian-Albrechts-Universität zu Kiel
Time of origin
- 2012
Other Objects (12)
SAT-Solving mit GPU-Unterstützung
SAT solving with GPU accelerated inprocessing
SAT Solving with GPU Accelerated Inprocessing
Certified SAT solving with GPU accelerated inprocessing
Advanced Methods for SAT Solving
SAT solving with message passing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Towards Symbolic Causality Checking using SAT-Solving
Solving incompressible two-phase flows on multi-GPU clusters
Recognition and Exploitation of Gate Structure in SAT Solving
Spack's new Concretizer: Dependency solving is more than just SAT!
SAT-Solving mit GPU-Unterstützung
SAT solving with GPU accelerated inprocessing
SAT Solving with GPU Accelerated Inprocessing
Certified SAT solving with GPU accelerated inprocessing
Advanced Methods for SAT Solving
SAT solving with message passing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Towards Symbolic Causality Checking using SAT-Solving
Solving incompressible two-phase flows on multi-GPU clusters
Recognition and Exploitation of Gate Structure in SAT Solving
Spack's new Concretizer: Dependency solving is more than just SAT!
SAT-Solving mit GPU-Unterstützung
SAT solving with GPU accelerated inprocessing
SAT Solving with GPU Accelerated Inprocessing
Certified SAT solving with GPU accelerated inprocessing
Advanced Methods for SAT Solving
SAT solving with message passing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Towards Symbolic Causality Checking using SAT-Solving
Solving incompressible two-phase flows on multi-GPU clusters
Recognition and Exploitation of Gate Structure in SAT Solving