Conference Papers
Year : 2013
Laurent Simon : Connect in order to contact the contributor
https://inria.hal.science/hal-00845507
Submitted on : Wednesday, July 17, 2013-11:41:58 AM
Last modification on : Friday, March 24, 2023-2:52:57 PM
Dates and versions
Identifiers
- HAL Id : hal-00845507 , version 1
Cite
George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon. Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers. Conference on Artificial Intelligence (AAAI), Jul 2013, Washington, United States. ⟨hal-00845507⟩
65
View
0
Download