People > Faculty > Professors & Lecturers


David G. Mitchell, Associate Professor of Computing Science

Area: Constraint satisfaction
         propositional proof complexity
         automated reasoning

Home Page:

Office: TASC 9007
Phone: +1.778.782.6673
Fax: +1.778.782.3045



PhD, Computer Science, University of Toronto
MSc, Computing Science, Simon Fraser University
BSc, Cognitive Science and Artificial Intelligence, University of Toronto

Work History

Assistant Professor in the School of Computing Science at Simon Fraser University

Research Interests

Propositional satisfiability and finite domain constraint satisfaction (and variants and
results on the complexity of these problems
aspects of design of practical algorithms for SAT and CSP
application to formal verification and related tasks
I'm especially interested in the applications of results in propositional proof complexity to the design and analysis of search algorithms for SAT and CSP, and in particular for attacking challenging families of application instances.


Local Listing

Listing on the DBLP CS Bibliography Server

Home Page