Theory and applications of satisfiability testing - SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings - Li, Chu-Min; Manyà, Felip (Springer, 2021)