Communication Dans Un Congrès
Année : 2003
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300508
Soumis le : mardi 27 juillet 2021-10:37:16
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300508 , version 1
Citer
Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. Eliminating redundancies in SAT search trees. Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2003), 2003, Sacramento, Unknown Region. pp.100-104. ⟨hal-03300508⟩
Collections
4
Consultations
0
Téléchargements