Towards Next Generation Sequential and Parallel SAT Solvers
This thesis focuses on improving the SAT solving technology. The improvements focus on two major subjects: sequential SAT solving and parallel SAT solving. To better understand sequential SAT algorithms, the abstract reduction system Generic CDCL is introduced. With Generic CDCL, the soundness of...
Main Author: | |
---|---|
Other Authors: | |
Format: | Doctoral Thesis |
Language: | English |
Published: |
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
2015
|
Subjects: | |
Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-158672 http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-158672 http://www.qucosa.de/fileadmin/data/qucosa/documents/15867/Dissertation-NorbertManthey.pdf |