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

BII

Cite

Citation style:
Could not load citation form.

Rights

Use and reproduction:No Creative Commons License - The german copyright act (UrhG) appliesPlease note that individual components of the publication may be subject to other licensing or copyright conditions.

Export