Understanding the power of Max-SAT resolution through UP-resilience - Aix-Marseille Université Access content directly
Journal Articles Artificial Intelligence Year : 2020

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

Fichier principal
Vignette du fichier
S0004370220301478.pdf (1.09 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution - NonCommercial

Identifiers

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⟩
140 View
30 Download

Altmetric

Share

Gmail Facebook X LinkedIn More