Boolean satisfiability problem
Proof that Boolean satisfiability problem is NP-complete