SAT 2010 - Thirteenth International Conference on
Theory and Applications of Satisfiability Testing

July 11—July 14, 2010, Edinburgh, Scotland, UK

Invited speakers SAT 2010

• Yehuda Naveh , IBM Haifa Research Lab, Israel
• Ramamohan Paturi, University of California, USA

• Home
• Programme
• Information
• Important Dates
• Invited Speakers
• Accepted Papers
• Paper Submissions
• Committees
• Previous Conferences

[Validator HTML4-Transitional] [Validator CSS level 2.1] Last modified: Mon Oct 11 2009