Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings - Walsh, Toby; Bacchus, Fahiem (Lecture Notes in Computer Science, 2005)