A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT

Yumeng He, Matan Kotler-Berkowitz, Harry Liuson +1

In this paper, we examine the claims made by the paper "A polynomial-time algorithm for 3-SAT" by Lizhi Du. The paper claims to provide a polynomial-time algorithm for solving the…