Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving.

Nicolas Prevot, Mate Soos, Kuldeep S. Meel

Browse the full SAT paper archive.