Inference in MaxSAT and MinSAT - Université de Picardie Jules Verne Accéder directement au contenu
Chapitre D'ouvrage Année : 2022
Fichier non déposé

Dates et versions

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

Identifiants

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⟩
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More