Communication Dans Un Congrès
Année : 2012
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00865581
Soumis le : mardi 24 septembre 2013-15:41:09
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00865581 , version 1
Citer
Said Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification Search in Modern SAT Solvers. 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.491-492. ⟨hal-00865581⟩
Collections
32
Consultations
0
Téléchargements