Theory and Applications of Satisfiability Testing - SAT 2009 (Springer Berlin Heidelberg, 2020)