3 citations · 3 across the 1 of their papers we have counts for
1 paper
Ian Christopher, Dennis Huo, Bryan Jacobs
This paper refutes the validity of the polynomial-time algorithm for solving satisfiability proposed by Sergey Gubin. Gubin introduces the algorithm using 3-SAT and eventually expa…