SAT 2005
AV Information

Eighth International Conference on
Theory and Applications of Satisfiability Testing

June 19th-23rd 2005
University of St. Andrews Conference Centre
St. Andrews, Scotland

Available Audio Visual