Communication Dans Un Congrès
Année : 2021
Djamal Habet : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-03594994
Soumis le : jeudi 3 mars 2022-09:28:06
Dernière modification le : vendredi 22 mars 2024-18:24:04
Dates et versions
Identifiants
- HAL Id : hal-03594994 , version 1
- DOI : 10.1109/ICTAI52525.2021.00101
Citer
Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Inferring Clauses and Formulas in Max-SAT. 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.632-639, ⟨10.1109/ICTAI52525.2021.00101⟩. ⟨hal-03594994⟩
8
Consultations
0
Téléchargements