Theory and Applications of Satisfiability Testing â€" SAT 2013 - JÃ¤rvisalo (Springer Berlin Heidelberg, 2013)