Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satisfiability Testing. The International Conferences on Theory and Applications of Satisfiability Testing (SAT) originated in 1996 as a series of workshops “on Satisfiability.” By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of ...