- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Erschienen in
-
Technische Berichte des Instituts für Informatik ; Nr. 12,07
- Klassifikation
-
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Institut für Informatik / Christian-Albrechts-Universität zu Kiel
- (wann)
-
2012
- Urheber
-
Sieweck, Philipp
- URN
-
urn:nbn:de:101:1-2012062210511
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 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
- Sieweck, Philipp
- Institut für Informatik / Christian-Albrechts-Universität zu Kiel
Entstanden
- 2012
Ähnliche Objekte (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
Certified SAT solving with GPU accelerated inprocessing
SAT solving with message passing
Advanced Methods for SAT Solving
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Towards Symbolic Causality Checking using SAT-Solving
Solving incompressible two-phase flows on multi-GPU clusters
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
Certified SAT solving with GPU accelerated inprocessing
SAT solving with message passing
Advanced Methods for SAT Solving
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Towards Symbolic Causality Checking using SAT-Solving
Solving incompressible two-phase flows on multi-GPU clusters
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
Certified SAT solving with GPU accelerated inprocessing
SAT solving with message passing
Advanced Methods for SAT Solving
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Towards Symbolic Causality Checking using SAT-Solving