SAT 2008 - Theory and Applications of Satisfiability Testing


SAT 2008 - Eleventh International Conference on Theory and Applications of Satisfiability Testing May 12 - 15 2008, Guangzhou, P. R. China

Main News Slides Photos Invited Speakers Preliminary Program Poster Presentations Committees Important Dates Conference Location Registration and Accommodation Paper Submissions Sponsors Previous Conferences	SAT 2008 Photos
Last modified: June 16, 2008.

SAT 2008 - Eleventh International Conference on Theory and Applications of Satisfiability Testing