Literal-Independent Clause Processing for Unit Resolution (2008) - A method of modifying modern (DPLL-based) SAT solvers to learn shorter clauses (pdf).
On the Dating Problem (2007) - An interesting (and fun) theory paper I wrote with a friend (pdf).
My team won the Berkeley Pac-Man AI contest for CS 188 (Artificial Intelligence) in the fall of 2007.
Berkeley Pac-Man AI contest replays (rules):
Open Source Projects:
VCMI - An effort to recreate Heroes of Might and Magic III. I worked on the AI for the game.
Panel Engine: 5.04MB win32(2006)
This is a 2D multibody physics simulation that I worked on with a friend.
Void Main: 5.82MB win32(2004)
A 3D gravity simulation of the solar system.
Tiero: 3.80MB win32(2002)
I worked on this real-time fighting worm game in high school. The AI is pretty challenging; give it a shot!