3-SAT Is NP-Complete applied Ackermann Formula applied Similarity Theorem for Minimal Realizations applied Observer Pole Placement Theorem applied Savitch's Theorem Corollary: PSPACE Equals NPSPACE applied BPP Error Amplification Theorem applied Infinite-Horizon Observability Gramian Theorem applied Boolean Closure of Polynomial Time applied