A new SAT solving algorithm
Hello, I am interested in P vs NP and other complexity questions. For now, there is a new SAT solving algorithm that you can read about: pldecomposition.pdf Update: The above paper has a slight bug in rare cases, although the safe choice conjecture might still hold. Consider it retracted. I will post an updated version.