A Collaborative Approach for Multi-Threaded SAT Solving - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Parallel Programming Année : 2009

Dates et versions

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

Identifiants

Citer

Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki. A Collaborative Approach for Multi-Threaded SAT Solving. International Journal of Parallel Programming, 2009, 37 (3), pp.324--342. ⟨10.1007/s10766-009-0097-6⟩. ⟨hal-00845690⟩
64 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More