Inferring Clauses and Formulas in Max-SAT - Aix-Marseille Université Access content directly
Conference Papers Year : 2021

Inferring Clauses and Formulas in Max-SAT

No file

Dates and versions

hal-03594994 , version 1 (03-03-2022)

Identifiers

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⟩
8 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More