A 2^o(n) time algorithm for 3-SAT [pdf]hexagonmath.org1 point·ibobev··0 commentsOpen articleSaveView on HN