Solving Lattice Point Problems by Propositional Reasoning with Isomorphism Cutting Strategy. National Taiwan University, Taipei, Taiwan.

• 用同构精简策略在命题逻辑中解格子点问题。国立台湾大学资讯工程学研究所硕士论文，台北市。