Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings - Bacchus, Fahiem; Walsh, Toby (Springer Berlin Heidelberg, 2005)