2 papers
cs.CC2025
A Critique of Quigley's "A Polynomial Time Algorithm for 3SAT"
Nicholas DeJesse, Spencer Lyudovyk, Dhruv Pai
In this paper, we examine Quigley's "A Polynomial Time Algorithm for 3SAT" [Qui24]. Quigley claims to construct an algorithm that runs in polynomial time and determines whether a b…
cs.CC2025
A Critique of Lin's "On versus and Frege Systems"
Nicholas DeJesse, Spencer Lyudovyk, Dhruv Pai +1
In this paper, we examine Lin's "On NP versus coNP and Frege Systems" [Lin25]. Lin claims to prove that by constructing a language such that $L_d…