Article Dans Une Revue
Annals of Mathematics and Artificial Intelligence
Année : 2005
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300798
Soumis le : mardi 27 juillet 2021-12:08:06
Dernière modification le : lundi 18 décembre 2023-16:48:43
Dates et versions
Identifiants
- HAL Id : hal-03300798 , version 1
Citer
L Simon, Daniel Le Berre, E. Hirsch. The SAT 2002 Competition , Annals of Mathematics and Artificial Intelligence. Annals of Mathematics and Artificial Intelligence, 2005, 43,, pp.307-342. ⟨hal-03300798⟩
Collections
37
Consultations
0
Téléchargements