Communication Dans Un Congrès
Année : 2017
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300226
Soumis le : mardi 27 juillet 2021-08:36:04
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300226 , version 1
Citer
Yazid Boumarafi, Lakhdar Saïs, Yakoub Salhi. From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'17), 2017, Maun, Botswana. pp.286-299. ⟨hal-03300226⟩
Collections
10
Consultations
0
Téléchargements