Sieweck, Philipp2012-06-202016-03-312012-06-202016-03-312012370603052http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-75028http://elib.uni-stuttgart.de/handle/11682/2887http://dx.doi.org/10.18419/opus-2870Vorgestellt 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.deinfo:eu-repo/semantics/openAccess004masterThesis