David G. Mitchell - Graduate Students

• Maryam Siahbani (PhD, in progress): Planning
• Pashootan Vaezipour (MSc, in progress): Pre-processing for a Model Expansion Based Solver
• Siavash Bolourani (MSc, 2010, co-supervised with A. Bulatov): Voting style algorithm for NAE-E3-SAT
• Raheleh Mohebali (MSc, 2007; went to Nokia): A Method for Solving NP Search Based on Model Expansion and Grounding.
• Faraz Hach (Msc, 2007; now a PhD student): Solving NP Search Problems with Model Expansion.
• Joey Hwang (MSc 2004; went to MDA): A Theoretical Comparison of Resolution Systems for CSP Algorithms.
• Lawrence Ryan (MSc 2004; went to Synopsis): The Seige SAT Solver ; Efficient Algorithms for Clause Learning SAT Solvers