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, 2005)