David G. Mitchell

Satisfiability-based Problem Solving, Logic, Automated Reasoning, Constraint Satisfaction, Complexity, SAT, Constraint Languages

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

  - Publications
  - Research Program
  - Possible Thesis Topics
  - Graduate Students

- Fall 2015:
  - Intelligent Systems (Satisfiability-Based Problem Solving), CMPT-827/417
  - Data Structures and Programming, CMPT-225

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