Theory and Applications of Satisfiability Testing - Hoos, Holger H. (Springer Berlin Heidelberg, 2020)