Title: Introduction to Propositional Satisfiability
Subjects: Propositional calculus, Symbolic and mathematical Logic