Towards Next Generation Sequential and Parallel SAT Solvers
Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- Link zu diesem Datensatz
- https://d-nb.info/1069092452
- Titel
- Towards Next Generation Sequential and Parallel SAT Solvers
- Art des Inhalts
- Monographie
- Verfassangaben
- Norbert Manthey. Gutachter: Steffen Hölldobler ; Armin Biere
- Autor(en)
-
- Manthey, Norbert
- Hölldobler, Steffen
- Biere, Armin
- Verlag
- Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden [2015] - Dresden : Technische Universität Dresden [2015]
- Jahr
- Erscheinungsdatum: 2015
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-158672
- Sprache
- eng
- DDC-Klasse(n)
- Schlagwörter
-
- Erfüllbarkeitsproblem
- Künstliche Intelligenz
- Suche
- Aussagenlogik
- Reduktionssystem
- Automatisches Schließen
- Paralleles Rechnen
- Formelvereinfachung
- Artificial Intelligence
- Automated Reasoning
- Search
- Propositional Logic
- Satisfiability Testing
- Parallel Computing
- Constraint Programming
- Formula Simplification
- Pseudo Boolean
- Reduction System
- Anmerkungen
- Dresden, Technische Universität Dresden, Diss., 2014
- Abweichende Titel
-
- Hin zur nächsten Generation Sequentieller und Paralleler SAT-Solver
- Stand
- 22.12.2025 06:31
- Im Katalog seit
- 06.03.2026