Hochschulschrift
Towards Next Generation Sequential and Parallel SAT Solvers
- Weitere Titel
-
Hin zur nächsten Generation Sequentieller und Paralleler SAT-Solver
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Diss., 2014
- Klassifikation
-
Informatik
- Schlagwort
-
Erfüllbarkeitsproblem
Künstliche Intelligenz
Suche
Aussagenlogik
Reduktionssystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden, Dresden
- (wer)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
-
Hölldobler, Steffen
Biere, Armin
- URN
-
urn:nbn:de:bsz:14-qucosa-158672
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Manthey, Norbert
- Hölldobler, Steffen
- Biere, Armin
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
Entstanden
- 2015
Ähnliche Objekte (12)
Machine Learning for SAT Solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
Parallel Sequential Scan
NEXT TiME SAT?!
Hierarchically preconditioned parallel CG-solvers with and without coarse-matrix-solvers inside FEAP
Hierarchically preconditioned parallel CG-solvers with and without coarse mesh solvers inside FEAP
The (un)reasonable (in)effectiveness of theory for Sat solvers
Sequential, Concurrent and Parallel Programming
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
Sequential and parallel functions as processes
A few results, questions, and pitfalls in the experimental study of SAT solvers
Machine Learning for SAT Solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
Parallel Sequential Scan
NEXT TiME SAT?!
Hierarchically preconditioned parallel CG-solvers with and without coarse-matrix-solvers inside FEAP
Hierarchically preconditioned parallel CG-solvers with and without coarse mesh solvers inside FEAP
The (un)reasonable (in)effectiveness of theory for Sat solvers
Sequential, Concurrent and Parallel Programming
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
Sequential and parallel functions as processes
A few results, questions, and pitfalls in the experimental study of SAT solvers
Machine Learning for SAT Solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
Parallel Sequential Scan
NEXT TiME SAT?!
Hierarchically preconditioned parallel CG-solvers with and without coarse-matrix-solvers inside FEAP
Hierarchically preconditioned parallel CG-solvers with and without coarse mesh solvers inside FEAP
The (un)reasonable (in)effectiveness of theory for Sat solvers
Sequential, Concurrent and Parallel Programming
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
Sequential and parallel functions as processes