Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
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 : Djamal Habet Connect in order to contact the contributor
Submitted on : Saturday, October 24, 2020 - 7:57:28 AM
Last modification on : Monday, April 25, 2022 - 3:34:34 AM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

99