A Critique of Chen's "The 2-MAXSAT Problem Can Be Solved in Polynomial Time"

In this paper, we examine Yangjun Chen's technical report titled ``The 2-MAXSAT Problem Can Be Solved in Polynomial Time'' Che23, which revises and expands upon their conference paper of the same name Che22. Chen's paper purports to build a polynomial-time algorithm for the NP-complete problem 2-MAXSAT by converting a 2-CNF formula into a graph that is then searched. We show through multiple counterexamples that Chen's proposed algorithms contain flaws, and we find that the structures they create lack properly formalized definitions. Furthermore, we elaborate on how the author fails to prove the correctness of their algorithms and how they make overgeneralizations in their time analysis of their proposed solution. Due to these issues, we conclude that Chen's technical report Che23 and conference paper Che22 both fail to provide a proof that P= NP.