Article Dans Une Revue
4OR: A Quarterly Journal of Operations Research
Année : 2012
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00868239
Soumis le : mardi 1 octobre 2013-11:07:14
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00868239 , version 1
Citer
Youssef Hamadi, Said Jabbour, Lakhdar Saïs. Learning from Conflicts in Propositional Satisfiability. 4OR: A Quarterly Journal of Operations Research, 2012, 1 (10), pp.15-32. ⟨hal-00868239⟩
Collections
176
Consultations
0
Téléchargements