Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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⟩
70 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More