A 2 O(n) TIME ALGORITHM FOR 3-SAT [pdf]

1 points | by ibobev 5 hours ago