Propositional satisfiability

Summary