Skip to Main content Skip to Navigation
Conference papers

Computing Max-SAT Refutations using SAT Oracles

Matthieu Py 1 Mohamed Sami Cherif 1 Djamal Habet 1 
1 COALA - COntraintes, ALgorithmes et Applications
LIS - Laboratoire d'Informatique et Systèmes
Document type :
Conference papers
Complete list of metadata
https://hal-amu.archives-ouvertes.fr/hal-03594992
Contributor : Djamal Habet Connect in order to contact the contributor
Submitted on : Thursday, March 3, 2022 - 9:26:15 AM
Last modification on : Friday, March 4, 2022 - 3:31:21 AM

Identifiers

Collections

UNIV-TLN | CNRS | UNIV-AMU | LIS-LAB | INCIAM

Citation

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Computing Max-SAT Refutations using SAT Oracles. 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.404-411, ⟨10.1109/ICTAI52525.2021.00066⟩. ⟨hal-03594992⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

6