Parallelization of SAT Algorithms on GPUs [pdf] – http://algos.inesc-id.pt/~pff/projects/parsat/publications/Costa-TR2013Feb.pdf