Communication Dans Un Congrès
Année : 2012
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00865574
Soumis le : mardi 24 septembre 2013-15:37:39
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00865574 , version 1
Citer
Said Jabbour, Jerry Lonlac, Lakhdar Saïs. Extending Resolution by Dynamic Substitution of Boolean Functions. 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.1029-1034. ⟨hal-00865574⟩
Collections
47
Consultations
0
Téléchargements