Title: The satisfiability problem
Subjects: Computer algorithms, Propositional calculus, Decision making, Boolean Algebra