Lecture 5 - DT for Boolean Formulas