Bibliograph. Daten | Sieweck, Philipp: SAT Solving mit GPU Unterstützung. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 3289 (2012). 45 Seiten, deutsch.
|
CR-Klassif. | D.2.4 (Software Engineering Software/Program Verification) F.3.1 (Specifying and Verifying and Reasoning about Programs)
|
Kurzfassung | 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.
|
Volltext und andere Links | PDF (1019257 Bytes)
|
Abteilung(en) | Universität Stuttgart, Institut für Formale Methoden der Informatik, Sichere und Zuverlässige Softwaresysteme
|
Betreuer | Nowotka, Dirk |
Eingabedatum | 8. Mai 2012 |
---|