Communication Dans Un Congrès
Année : 2009
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00865315
Soumis le : mardi 24 septembre 2013-11:57:52
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00865315 , version 1
Citer
Youssef Hamadi, Said Jabbour, Lakhdar Saïs. Control-Based Clause Sharing in Parallel {SAT} Solving. 21st International Joint Conference on Artificial Intelligence (IJCAI'09), 2009, Pasadena, United States. pp.499-504. ⟨hal-00865315⟩
Collections
169
Consultations
0
Téléchargements