gbacon on Solving SAT via Positive Supercompilation · Hackerly

Comment on Solving SAT via Positive Supercompilation parent

See this helpful diagram:

https://en.wikipedia.org/wiki/NP-hardness#/media/File:P_np_n...