The satisfiability problemby P. L. HammerComputer algorithmsPropositional calculusDecision makingBoolean AlgebraWriting a summary for young readers…For young readersBook data: Open Library