充足可能性問題
Efficient verification and the Boolean satisfiability problem.