News for hackers. Stuff that matters.

A comment on The polynomial algorithm for 3-SAT problem (or P=NP). Parent comment

Re:The polynomial algorithm for 3-SAT problem (or P=NP) by yhmv on Wednesday January 19, 2011 @09:26PM (#2122318)
Coq could be used to reduce automatically, and more!
[ Parent | on HN ]

There are no comments on this comment yet.