David G. Mitchell

1 published title

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, B.C., Canada, May 10-13 2004 : revised selected papers

(Contributor)

1 edition