Image of Swansea Bay and University

SAT 2009 - Twelfth International Conference on
Theory and Applications of Satisfiability Testing

June 30 - July 3, 2009, Swansea, Wales, United Kingdom

Invited speakers SAT 2009

Valid XHTML 1.0 Strict Valid CSS level 2.1 Last modified: Sat Sep 19 19:05:04 BST 2009