Jiwei Jin

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Satisfiability Testing

Top Venues

Publications

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT (2021)
Jiwei Jin, Xishun Zhao
Resolution on Quantified Generalized Clause-sets.. J. Satisf. Boolean Model. Comput. 7 (1) (2010)