Article Dans Une Revue
Lecture Notes in Computer Science
Année : 2005
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00090749
Soumis le : vendredi 1 septembre 2006-17:17:26
Dernière modification le : mercredi 25 septembre 2024-11:09:37
Dates et versions
Identifiants
- HAL Id : hal-00090749 , version 1
Citer
M. Narizzano, L. Simon, A. Tachella, Daniel Le Berre. The Second QBF Solvers Comparative Evaluation. Lecture Notes in Computer Science, 2005, 3542, pp.376-392. ⟨hal-00090749⟩
Collections
73
Consultations
0
Téléchargements