Communication Dans Un Congrès
Année : 2011
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00869896
Soumis le : vendredi 4 octobre 2013-13:59:27
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00869896 , version 1
Citer
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs. Concilier Parallélisme et Déterminisme dans la Résolution de SAT. 7ièmes Journées Francophones de la Programmation par Contraintes (JFPC'11), 2011, France. pp.162-172. ⟨hal-00869896⟩
Collections
189
Consultations
0
Téléchargements