ECS 120 8a:3 introduction to NP-completeness and Boolean formulas

From David Doty