Communication Dans Un Congrès Année : 2013
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00845507 , version 1

Citer

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⟩
128 Consultations
0 Téléchargements

Partager

  • More