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-00018851
Soumis le : vendredi 10 février 2006-11:37:39
Dernière modification le : mercredi 25 septembre 2024-11:09:37
Dates et versions
Identifiants
- HAL Id : hal-00018851 , version 1
Citer
P. Purdom, L. Simon, Daniel Le Berre. A Parsimony Tree for the SAT2002 Competition. Annals of Mathematics and Artificial Intelligence, 2005, 43, Issue 1 - pp 343-365. ⟨hal-00018851⟩
Collections
72
Consultations
0
Téléchargements