Theory and Applications of Satisfiability Testing – SAT 2021 - Chu-Min Li; Manyà, Felip (Springer International Publishing, 2021)