Inference in MaxSAT and MinSAT

Chu Min Li; Felip Manyà

doi:10.1007/978-3-031-08166-8_16

Chapitre D'ouvrage Année : 2022

Inference in MaxSAT and MinSAT

(1) , (2)

1
2

Chu Min Li

Fonction : Auteur
PersonId : 850090
ORCID : 0000-0002-6886-8434
IdRef : 092788718

Modélisation, Information et Systèmes - UR UPJV 4290

Felip Manyà

Fonction : Auteur

Artificial Intelligence Research Institute / Spanish Scientific Research Council

Domaines

Informatique [cs]

Louise DESSAIVRE : Connectez-vous pour contacter le contributeur

https://hal-u-picardie.archives-ouvertes.fr/hal-04007852

Soumis le : mardi 28 février 2023-11:39:43

Dernière modification le : mercredi 22 mars 2023-11:44:12

Dates et versions

hal-04007852 , version 1 (28-02-2023)

Identifiants

HAL Id : hal-04007852 , version 1
DOI : 10.1007/978-3-031-08166-8_16

Citer

Chu Min Li, Felip Manyà. Inference in MaxSAT and MinSAT. The Logic of Software. A Tasting Menu of Formal Methods, 13360, Springer International Publishing, pp.350-369, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-08166-8_16⟩. ⟨hal-04007852⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

U-PICARDIE MIS

0 Consultations

0 Téléchargements