Toward Easy Parallel SAT Solving
Résumé
no abstract
Communication Dans Un Congrès
Année : 2009
Gilles Dequen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00846958
Soumis le : lundi 22 juillet 2013-12:13:40
Dernière modification le : mardi 5 décembre 2023-10:36:06
Citer
Gilles Dequen, Pascal Vander-Swalmen, Michaël Krajecki. Toward Easy Parallel SAT Solving. ICTAI, 2009, United States. pp.425--432, ⟨10.1109/ICTAI.2009.63⟩. ⟨hal-00846958⟩
Collections
85
Consultations
0
Téléchargements