David G. Mitchell
Satisfiability-based Problem Solving, Logic, Automated Reasoning, Constraint Satisfaction,
Complexity, SAT, Constraint Languages
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.
Computational Logic Laboratory
- Research Program
- Possible Thesis Topics
- Graduate Students
- Fall 2016:
- 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