Graduate AI Reasoning Research

AI reasoning methods have a lot of "cool factor." I have built many reasoning systems including SAT solvers, CSP solvers, a Job Shop Scheduler, and a STRIPS Planner. Feel free to browse through my reasoning projects listed below.