News for hackers. Stuff that matters.
Re:The polynomial algorithm for 3-SAT problem (or P=NP) by wlievens on Thursday January 20, 2011 @06:58AM (#2123352)
You're obvisouly correct. "3-SAT statements" is pretty meaningless in this context since you want to satisfy one big consistent statement.

There are no comments on this comment yet.