Introduction to Propositional Satisfiability