ECS 220 4b:6.1-2 relation of NP to finding mathematical proofs

From David Doty