Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-02977156
Contributor : Djamal Habet <>
Submitted on : Saturday, October 24, 2020 - 7:57:28 AM
Last modification on : Sunday, October 25, 2020 - 3:23:38 AM

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

45