Biblio

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