Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings

Fahiem Bacchus Toby Walsh Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings 3569 2005 3-540-26276-8 SAT Lecture Notes in Computer Science Springer db/conf/sat/sat2005.html