Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013
Not file

Dates and versions

hal-00845507 , version 1 (17-07-2013)

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

Share

Gmail Facebook Twitter LinkedIn More