Comment Comment by caughtinthought 3SAT can't be solved in sub-exponential timeFwiw never thought it was a well-named conjecture parent caughtinthought 5 days ago
Fwiw never thought it was a well-named conjecture