Theory and applications of satisfiability testing -- SAT 2013 : 16th international conference : Helsinki, Finland, July 8-12, 2013 : proceedings : Jul 2013, Helsinki, Finland.
Papers and an abstract."The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting (...)" -...