%0 Book %A Bacchus, Fahiem %A Walsh, Toby %D 2005 %I Springer %T Theory and applications of satisfiability testing: 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings