Biblio

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Sabharwal, Ashish  [Clear All Filters]
Conference Paper
G. Katsirelos, Sabharwal, A., Samulowitz, H., and Simon, L., Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers, in Conference on Artificial Intelligence (AAAI), Washington, Etats-Unis, 2013.