3 CNF SAT Fail.
So, at 2:00 am last night I decided I had completed my 3-CNF-SAT algorithm (which runs in polynomial time!!). Well, here is the pseudocode: ROUTINE(P): -> Make a hashtable ‘h’ of size 3 * no. of clauses -> For clause p in P: for each ‘distinct’ variable x in p: h[x] += 1 -> Find [...]