Prev: proving-problems-are-not-solvable-in-a-model-of-computation Next: efficient-solution-of-problems-the-class-p