N°Spécial De Revue/Special Issue
Journal of Satisfiability, Boolean Modeling and Computation
Année : 2006
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00459960
Soumis le : jeudi 25 février 2010-16:20:03
Dernière modification le : mercredi 25 septembre 2024-11:09:37
Dates et versions
Identifiants
- HAL Id : hal-00459960 , version 1
Citer
L. Simon, Daniel Le Berre. Special Volume on the SAT 2005 competitions and evaluations. Journal of Satisfiability, Boolean Modeling and Computation, 2, 2006. ⟨hal-00459960⟩
Collections
73
Consultations
0
Téléchargements