The story
It was first proved in 1980 by Richard M. Karp and Richard J. Lipton.
Etymology from Wiktionary, CC BY-SA 4.0.
Karp-Lipton theorem
Today it means: A certain theorem in complexity theory, generally viewed as evidence for the nonexistence of polynomial-size circuits for the Boolean satisfiability problem or other NP-complete problems. Full definition →