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

Submitted by lahdakadmin on Tue, 11/26/2013 - 12:48
TitleResolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers
Publication TypeConference Paper
Year of Publication2013
AuthorsKatsirelos, G, Sabharwal, A, Samulowitz, H, Simon, L
Conference NameConference on Artificial Intelligence (AAAI)
Date PublishedJul
Conference LocationWashington, Etats-Unis
URLhttp://hal.inria.fr/hal-00845507