1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DM2012
Method Study on the 3x+1 Problem
Lizhi Du
The 3x+1 problem is one of the most classical problems in computer science, related to many fields. As it is thought by scientists a highly hard problem, resolving it successfully…
cs.DS2010★ 1 cited
A Polynomial time Algorithm for 3SAT
Lizhi Du
By creating some new concepts and methods: checking tree, long unit path, direct contradiction unit pair, indirect contradiction unit pair, additional contradiction unit pair, 2-un…