Conference Papers
Year :
Djamal Habet : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-03594994
Submitted on : Thursday, March 3, 2022-9:28:06 AM
Last modification on : Wednesday, February 8, 2023-5:11:23 PM
Dates and versions
Identifiers
- HAL Id : hal-03594994 , version 1
- DOI : 10.1109/ICTAI52525.2021.00101
Cite
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⟩
5
View
0
Download