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 : samedi 10 février 2024-03:07:50
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
64
Consultations
0
Téléchargements