SAT 2007 - Tenth International Conference on
Theory and Applications of Satisfiability Testing

May 28 - 31 2007, Lisbon, Portugal

Martin Davis, SAT: Past and future
Andrei Voronkov, Encodings of Problems in Effectively Propositional Logic
Armin Biere, A Short History of SAT Solver Technology and What is Next?