- Weitere Titel
-
Alternative Ansätze für das Lösen von SAT Instanzen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Tübingen, Universität Tübingen, Dissertation, 2013
- Schlagwort
-
Erfüllbarkeitsproblem ; Sat
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Universitätsbibliothek Tübingen
- (wann)
-
2013
- Urheber
-
Kottler, Stephan
- Beteiligte Personen und Organisationen
-
Kaufmann, Michael
- URN
-
urn:nbn:de:bsz:21-opus-68475
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
04.04.8025, 01:00 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
- Kottler, Stephan
- Kaufmann, Michael
- Universitätsbibliothek Tübingen
Entstanden
- 2013
Ähnliche Objekte (12)
SAT solving with message passing
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
Advanced tools and methods for treewidth-based problem solving
SAT solving for variants of first-order subsumption
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Certified SAT solving with GPU accelerated inprocessing
Towards Symbolic Causality Checking using SAT-Solving
SAT solving with message passing
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
Advanced tools and methods for treewidth-based problem solving
SAT solving for variants of first-order subsumption
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Certified SAT solving with GPU accelerated inprocessing
Towards Symbolic Causality Checking using SAT-Solving
SAT solving with message passing
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
Advanced tools and methods for treewidth-based problem solving
SAT solving for variants of first-order subsumption
SAT Solving with GPU Accelerated Inprocessing
SAT solving with GPU accelerated inprocessing
Symbolic Causality Checking Using SAT-Solving
Scalable SAT Solving and its Application
Variational satisfiability solving: efficiently solving lots of related SAT problems
Certified SAT solving with GPU accelerated inprocessing