Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers (2013)

by G Katsirelos, A Sabharwal, H Samulowitz, L Simon
Venue:In AAAI conference on artificial intelligence (AAAI