Skip to Main content Skip to Navigation
New interface
Journal articles

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

Mohamed Sami Cherif 1 Djamal Habet 1 André Abramé 
1 COALA - COntraintes, ALgorithmes et Applications
LIS - Laboratoire d'Informatique et Systèmes
Document type :
Journal articles
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-02977156
Contributor : Accord Elsevier CCSD Connect in order to contact the contributor
Submitted on : Monday, October 17, 2022 - 8:28:49 AM
Last modification on : Monday, October 17, 2022 - 8:28:50 AM

File

S0004370220301478.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

0

Files downloads

0