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
- (wer)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- (wann)
-
2015
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
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
-
15.08.2025, 07:28 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.
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
NEXT TiME SAT?!
Monitoring of spatio-temporal properties with nonlinear SAT solvers
The (un)reasonable (in)effectiveness of theory for Sat solvers
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
Parallel line identification for line-implicit-solvers
Parallel Sequential Scan
Hierarchically preconditioned parallel CG-solvers with and without coarse mesh solvers inside FEAP
Hierarchically preconditioned parallel CG-solvers with and without coarse-matrix-solvers inside FEAP
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
Machine Learning for SAT Solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
NEXT TiME SAT?!
Monitoring of spatio-temporal properties with nonlinear SAT solvers
The (un)reasonable (in)effectiveness of theory for Sat solvers
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
Parallel line identification for line-implicit-solvers
Parallel Sequential Scan
Hierarchically preconditioned parallel CG-solvers with and without coarse mesh solvers inside FEAP
Hierarchically preconditioned parallel CG-solvers with and without coarse-matrix-solvers inside FEAP
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
Machine Learning for SAT Solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
NEXT TiME SAT?!
Monitoring of spatio-temporal properties with nonlinear SAT solvers
The (un)reasonable (in)effectiveness of theory for Sat solvers
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
Parallel line identification for line-implicit-solvers
Parallel Sequential Scan
Hierarchically preconditioned parallel CG-solvers with and without coarse mesh solvers inside FEAP
Hierarchically preconditioned parallel CG-solvers with and without coarse-matrix-solvers inside FEAP