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 : mardi 30 juillet 2024-12:40:03
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
18
Consultations
0
Téléchargements