Theory and Applications of Satisfiability Testing - SAT 2009 - häftad, Engelska, 2009