Theory and applications of satisfiability testing - SAT 2021 24th international conference, Barcelona, Spain, July 5-9, 2021 : proceedings - Li, Chu-Min (Springer, 2021)