C. Vazcula: "The Hobel algorithm - SAT Lösung mit GPU über DPLL"; Supervisor: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016.
http://publik.tuwien.ac.at/files/publik_253797.pdf