Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers - Hoos, Holger H.; Mitchell, David G. (Springer Berlin Heidelberg, 2005)