Lin, Ting-Wei

1. Towards a more efficient approach for the satisfiability of two-variable logic
   2021/04/21 by Ting‐Wei Lin, Lin, Ting-Wei, Chia-Hsuan Lu +3 · 1 citation
   Computer Science · #Advanced Graph Theory Research #Computational Complexity (cs.CC) #F.2.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #semigroups and automata theory