Communication Dans Un Congrès
Année : 2004
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300594
Soumis le : mardi 27 juillet 2021-10:57:58
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300594 , version 1
Citer
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs. Elimination des redondances dans les algorithmes de résolution de SAT. Actes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), 2004, Toulouse, France. pp.1343-1350. ⟨hal-03300594⟩
Collections
7
Consultations
0
Téléchargements