%0 Book
%A Holger H. Hoos, David G. Mitchell )eds.(
%T Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
%U /book/101388264/Theory-and-applications-of-satisfiability-testing/