Communication Dans Un Congrès
Année : 2011
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00870890
Soumis le : mardi 8 octobre 2013-12:18:13
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00870890 , version 1
Citer
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs. Deterministic Parallel DPLL: System Description. Pragmatics of SAT (POS'11), 2011, Ann Arbor, United States. pp.127-132. ⟨hal-00870890⟩
Collections
160
Consultations
0
Téléchargements