SAT Solving mit GPU Unterstützung

Thumbnail Image

Date

2012

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.

Description

Keywords

Citation

Endorsement

Review

Supplemented By

Referenced By