Resolution on Quantified Generalized Clause-sets.. - Jiwei Jin; Xishun Zhao (J. Satisf. Boolean Model. Comput., 2010)

Investigating the Existence of Costas Latin Squares via Satisfiability Testing. - Jiwei Jin; Yiqi Lv; Cunjing Ge; Feifei Ma; Jian Zhang 001 (SAT, 2021)