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

Mohamed Sami Cherif; Djamal Habet; André Abramé

doi:10.1016/j.artint.2020.103397

Article Dans Une Revue Artificial Intelligence Année : 2020

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

(1) , (1) ,

1

Mohamed Sami Cherif

Fonction : Auteur
PersonId : 1290539
IdHAL : sami-cherif

COntraintes, ALgorithmes et Applications

Djamal Habet

Fonction : Auteur

COntraintes, ALgorithmes et Applications

André Abramé

Fonction : Auteur

Domaines

Intelligence artificielle [cs.AI]

Fichier principal

S0004370220301478.pdf (1.09 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

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 : vendredi 22 mars 2024-18:24:04

Archivage à long terme le : mercredi 18 janvier 2023-19:04:11

Dates et versions

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

Licence

Paternité - Pas d'utilisation commerciale

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB ANR INCIAM

136 Consultations

24 Téléchargements

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

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager