A polynomial algorithm to determine 3-SAT satisfiabilitypolynomial3sat.org1 point·lainon··0 commentsOpen articleSaveView on HN