Understanding the power of Max-SAT resolution through UP-resilience - Archive ouverte HAL Access content directly
Journal Articles Artificial Intelligence Year : 2020

Understanding the power of Max-SAT resolution through UP-resilience

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
S0004370220301478.pdf (1.09 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Accord Elsevier CCSD  : Connect in order to contact the contributor

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

Submitted on : Monday, October 17, 2022-8:28:49 AM

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

Long-term archiving on: Wednesday, January 18, 2023-7:04:11 PM

Download

Dates and versions

hal-02977156 , version 1 (17-10-2022)

Licence

Attribution - NonCommercial - CC BY 4.0

Identifiers

Elsevier-hosted Accepted Manuscript

Cite

Mohamed Sami Cherif, Djamal Habet, André Abramé. Understanding the power of Max-SAT resolution through UP-resilience. Artificial Intelligence, 2020, 289, pp.103397. ⟨10.1016/j.artint.2020.103397⟩. ⟨hal-02977156⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB ANR INCIAM
128 View
4 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More