Article Dans Une Revue
4OR: A Quarterly Journal of Operations Research
Année : 2012
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00868239
Soumis le : mardi 1 octobre 2013-11:07:14
Dernière modification le : samedi 22 mars 2025-08:13:50
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
236
Consultations
0
Téléchargements