Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.

George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon

Browse the full AAAI paper archive.