Quote


Voting: - 9 +
That’s just a polynomial time algorithm for 3-CNF
— John Hopcroft, after being asked what was in the box he drew on the chalkboard · Nov. 16, 2018