2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices | IEEE Conference Publication | IEEE Xplore

2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices | IEEE Conference Publication | IEEE Xplore

翻译：