充足可能性問題
Proof that Boolean satisfiability problem is NP-complete