Theory and Applications of Satisfiability Testing – SAT 2020 - Pulina (Springer International Publishing, 2020)