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://u-picardie.hal.science/hal-04007852

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

Dernière modification le : mercredi 6 mars 2024-09:16:32

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

U-PICARDIE MIS UPJV-MIS-GOC

7 Consultations

0 Téléchargements