Resource-Bounded Computation Previously: can something be done? Now: how efficiently can it be done? Goal: conserve computational resources: Time, space,
Intractable Problems
The Class NP Lecture 20 Section 7.3 Mon, Nov 27, 2006.
Theoretical Program Checking
