Chu Min Li 0001 Felip Manyà Inference in MaxSAT and MinSAT. 350-369 2022 The Logic of Software. A Tasting Menu of Formal Methods https://doi.org/10.1007/978-3-031-08166-8_16 conf/birthday/2022hahnle db/conf/birthday/hahnle2022.html#LiM20