I’m shaking, so much has happened in the past few years, I think it’s inevitable we will find the efficient algorithm for P=NP. Not sure if I’m ready to live in that world yet.
> 10^87 variables, a point where the proposed new method surpasses the already existing sat solvers
Yeah, it's not efficient in the ordinary sense.