Theory and Applications of Satisfiability Testing - SAT 2005; Bacchus, Fahiem; Kanade, Takeo; Walsh, Toby; Kittler, Josef (Springer Berlin / Heidelberg, 2005)