3 ms·
Wait, it's the same Cook who proved that SAT is NP-complete somewhere during the cold war? I had no idea this guy was still around doing research.
by ngruhn 2y ago
Wait, it's the same Cook who proved that SAT is NP-complete somewhere during the cold war? I had no idea this guy was still around doing research.