Comment Comment by dooglius The proof appears to be a sub-exponential algorithm for #3-SAT not just 3-SAT, I think this is considered a much stronger result? parent dooglius 5 days ago
