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.
Preview
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.