Lecture 4 (Notes) 1 Introduction 2 Circuit Satisfiability and a proof of