Theory and Applications of Satisfiability Testing -- SAT 2015by Marijn Heule, Sean WeaverComputer algorithmsComputer software, verificationWriting a summary for young readers…For young readersBook data: Open Library