David G. Mitchell

Logic and complexity
SAT, constraint satisfaction, constraint languages, grounding, combinatorial optimization
Bioinformatics, planning, van der Waerden numbers

email: lastname at cs dot sfu dot ca

Associate Professor of Computing Science

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

Laboratory Affiliation: Computational Logic Laboratory

Research
Teaching: CMPT-225; CMPT-701
Possible Thesis Topics
Graduate Students
Publications
Recent Funding
Program Committees - Current: AAAI 2010, SAT 2010, LaSh 2010 (organizer) and Recent: ISAIM 2010; IJCAI 2009; SAT 2009, CP 2009,

SFU CS Faculty Page
SFU Computing Science Home Page
SFU Home Page

David G. Mitchell

Logic and complexity SAT, constraint satisfaction, constraint languages, grounding, combinatorial optimization Bioinformatics, planning, van der Waerden numbers

Logic and complexity
SAT, constraint satisfaction, constraint languages, grounding, combinatorial optimization
Bioinformatics, planning, van der Waerden numbers