About David G. Mitchell Books by David G. Mitchell 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 Military Cross, The Awarded to Members of the Canadian Expeditionary Force, 1915-1921 edited by David K. Riddle & David G. Mitchell