Chapitre D'ouvrage
Année : 2022
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
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⟩
Collections
7
Consultations
0
Téléchargements