# SAT is NP-complete

Last edited: 2026-01-28

# Statement

Cook-Levin Theorem (1971)

The Satisfiability problem is NP-complete .

# Proof

This is long.