David G. Mitchell profile picture

David G. Mitchell

Is this your author profile? Create an account to claim and customize it!

Education and the needs of industry.
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers