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 |
|---|