Article Dans Une Revue
Annals of Mathematics and Artificial Intelligence
Année : 2005
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00022662
Soumis le : mercredi 12 avril 2006-10:29:02
Dernière modification le : mercredi 25 septembre 2024-11:09:37
Dates et versions
Identifiants
- HAL Id : hal-00022662 , version 1
Citer
L. Simon, Daniel Le Berre, E. Hirsch. The SAT 2002 Competition. Annals of Mathematics and Artificial Intelligence, 2005, vol.43, Issue 1-4, pp.307-342. ⟨hal-00022662⟩
Collections
105
Consultations
0
Téléchargements