Understanding the power of Max-SAT resolution through UP-resilience
Domaines
Intelligence artificielle [cs.AI]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Article Dans Une Revue
Artificial Intelligence
Année : 2020
Accord Elsevier CCSD : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-02977156
Soumis le : lundi 17 octobre 2022-08:28:49
Dernière modification le : lundi 10 juin 2024-16:50:19
Archivage à long terme le : mercredi 18 janvier 2023-19:04:11
Dates et versions
Licence
Identifiants
- HAL Id : hal-02977156 , version 1
- DOI : 10.1016/j.artint.2020.103397
- PII : S0004-3702(20)30147-8
Citer
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⟩
145
Consultations
37
Téléchargements