R romvf.wordpress.com The polynomial algorithm for 3-SAT problem (or P=NP) 269 points caustic 16 years ago 142 comments
