A. Botea, M. Müller, and J. Schaeffer. Near optimal hierarchical path-finding. Journal of Game Development, 1(1):7-28, 2004.
L. Zhao and M. Müller. Game-SAT: A preliminary report. In Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), pages 357-362, Vancouver, Canada, 2004.
L. Zhao. Tackling Post's correspondence problem. In J. Schaeffer, M. Müller, and Y. Björnsson, editors, Computers and Games 2002, number 2883 in Lecture Notes in Computer Science, pages 326-344. Springer Verlag, 2003.
N. Bullock. Domineering: Solving large combinatorial search spaces. ICGA Journal, 25(2):67-84, 2002.
N. Bullock. Domineering: Solving large combinatorial search spaces. Master's thesis, University of Alberta, 2002.
L. Zhao. Solving and creating difficult instances of Post's correspondence problem. Master's thesis, University of Alberta, 2002.
Martin Müller