Biblio

Export 1 results:
Author Title [ Type(Asc)] Year
Filters: Author is Katsirelos, George  [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.