SAT Solving mit GPU Unterstützung

Vorgestellt wird eine Implementierung des Survey Propagation Algorithmus (SP) auf einer GPU mit CUDA, sowie ein SAT Solver auf Basis von Mini- SAT, der SP als zusätzliche Heuristik verwendet, um zufällige k-SAT Probleme schneller lösen zu können.

Logo BII

Rights

Use and reproduction:

No license. The provisions of the German Copyright Act (UrhG) apply.

Please note that individual components of the publication may be subject to other licensing or copyright conditions.

Cite

Citation style:
Could not load citation form.