Search for persons
X
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
2
A Tableau Calculus for Signed Maximum Satisfiability:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
3
The MaxSAT Problem in the Real-Valued MV-Algebra:
, In:
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
4
Linking Łukasiewicz Logic and Boolean Maximum Satisfiabilit:
, In:
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
5
Benchmarking Łukasiewicz Logic Solvers with Properties of N..:
, In:
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
9
Inference in MaxSAT and MinSAT:
, In:
?
11
Theory and Applications of Satisfiability Testing – SAT 202..
Theoretical Computer Science and General Issues, 12831
?
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) ,
13