A algos.inesc-id.pt Parallelization of SAT Algorithms on GPUs [pdf] 65 points setra 9 years ago 18 comments
