Communication Dans Un Congrès
Année : 2013
Laurent Simon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00845507
Soumis le : mercredi 17 juillet 2013-11:41:58
Dernière modification le : samedi 10 février 2024-03:07:50
Dates et versions
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⟩
70
Consultations
0
Téléchargements