A 3SAT-Solver on CUDA

Bachelor-Thesis

Advisor(s)

• Dipl.-Inf. Quirin Meyer
• Prof. Dr. rer. nat. Rolf Wanka
• Prof. Dr.-Ing. Marc Stamminger