Diplomarbeit DIP-3289

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
BetreuerNowotka, Dirk
Eingabedatum8. Mai 2012
   Publ. Informatik