- Alternative title
-
Hin zur nächsten Generation Sequentieller und Paralleler SAT-Solver
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Diss., 2014
- Classification
-
Informatik
- Keyword
-
Erfüllbarkeitsproblem
Künstliche Intelligenz
Suche
Aussagenlogik
Reduktionssystem
- Event
-
Veröffentlichung
- (where)
-
Dresden, Dresden
- (who)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
- (when)
-
2015
- Creator
- Contributor
-
Hölldobler, Steffen
Biere, Armin
- URN
-
urn:nbn:de:bsz:14-qucosa-158672
- 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.
Object type
- Hochschulschrift
Associated
- Manthey, Norbert
- Hölldobler, Steffen
- Biere, Armin
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
Time of origin
- 2015
Other Objects (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