Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings - Järvisalo, Matti; Van Gelder, Allen (Springer Berlin Heidelberg : Imprint: Springer, 2013)