About Holger H. Hoos Books by Holger H. Hoos Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers by (author) Holger H. Hoos edited by David G. Mitchell