Jiwei Jin

According to our database, Jiwei Jin authored at least 2 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Investigating the Existence of Costas Latin Squares via Satisfiability Testing.

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2010

Resolution on Quantified Generalized Clause-sets..

Jiwei Jin, Xishun Zhao

J. Satisf. Boolean Model. Comput., 2010