Slide 1 January 5, 2015CS21 Lecture 11 CS21 Decidability and Tractability Lecture 1 January 5, 2015 Slide 2 CS21 Lecture 12 Outline administrative stuff motivation and overview…