Search for persons
X
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
1
A Tableau Calculus for Signed Maximum Satisfiability:
, In:
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
3
Inference in MaxSAT and MinSAT:
, In:
?
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) ,
4
Tableaux for Maximum Satisfiability in Łukasiewicz Logic:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
5