How Hard, Really, is SAT? | Gödel's Lost Letter and P=NP https://rjlipton.wordpress.com/2016/09/04/how-hard-really-is-sat/ 読んでる。 68GBの証明……