| Bibliography | Sieweck, Philipp: SAT Solving mit GPU Unterstützung.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 3289 (2012).
45 pages, german.
|
|---|
| CR-Schema | D.2.4 (Software Engineering Software/Program Verification)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
|
|---|
| Abstract | Vorgestellt wird eine Implementierung des Survey Propagation Algorithmus (SP) auf einer GPU mit CUDA, sowie ein SAT Solver auf Basis von MiniSAT, der SP als zusätzliche Heuristik verwendet, um zufällige $k$-SAT Probleme schneller lösen zu können.
|
|---|
Full text and
other links | PDF (1019257 Bytes)
|
|---|
| Department(s) | University of Stuttgart, Institute of Formal Methods in Computer Science, Software Reliability and Security
|
|---|
| Superviser(s) | Nowotka, Dirk |
|---|
| Entry date | May 8, 2012 |
|---|