SAT Solving mit GPU Unterstützung
Files
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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.