Etymology
Today it means: Synonym of Cook-Levin theorem. Full definition →
Named after Stephen Cook.
Etymology from Wiktionary, CC BY-SA 4.0.