Boolean satisfiability problem
Efficient verification and the Boolean satisfiability problem.