DMCA

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

by George Katsirelos , Ashish Sabharwal , Horst Samulowitz , Laurent Simon
Citations:4 - 1 self