Communication Dans Un Congrès
Année : 2012
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00869900
Soumis le : vendredi 4 octobre 2013-14:07:08
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00869900 , version 1
Citer
Said Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification Search in Modern SAT Solvers. 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, Toulouse, France. pp.156-159. ⟨hal-00869900⟩
Collections
31
Consultations
0
Téléchargements