[PPT] - Foundations and Theoretical Aspects of Propositional Satisfiability PowerPoint Presentation