Browsing by Author "Manyà, Felip"
​ ​ ​ ​

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers