Computing Max-SAT Refutations using SAT Oracles

Matthieu Py; Mohamed Sami Cherif; Djamal Habet

doi:10.1109/ICTAI52525.2021.00066

Conference Papers Year :

Computing Max-SAT Refutations using SAT Oracles

(1) , (1) , (1)

1

Matthieu Py

Function : Author

COntraintes, ALgorithmes et Applications

Mohamed Sami Cherif

Function : Author

COntraintes, ALgorithmes et Applications

Djamal Habet

Function : Author

COntraintes, ALgorithmes et Applications

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Djamal Habet : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-03594992

Submitted on : Thursday, March 3, 2022-9:26:15 AM

Last modification on : Friday, March 24, 2023-2:53:26 PM

Dates and versions

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

Identifiers

HAL Id : hal-03594992 , version 1
DOI : 10.1109/ICTAI52525.2021.00066

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB INCIAM

6 View

0 Download

Computing Max-SAT Refutations using SAT Oracles

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share