A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics | IEEE Conference Publication | IEEE Xplore