Theory and Applications of Satisfiability Testing – SAT 2017by Serge Gaspers, Toby WalshCalculusAlgebra, booleanComputer algorithmsDecision makingWriting a summary for young readers…For young readersBook data: Open Library
