Ling+Zhao

toc
 * Home * People * Ling Zhao**

a computer scientist, in the 2000s affiliated with the Department of Computing Science, University of Alberta, where he defended his Master's degree in 2002 on solving some instances of the [|Post correspondence problem], invented in 1946 by Emil Leon Post. Ling Zhao further worked with Martin Müller on [|combinatorial games] and the game of Go.
 * Ling Zhao**,

=Photos=
 * [[image:LingZhaoCG2008.jpg link="http://www.geocities.jp/hideki_katoh/13days/6th_day/slides/DSCF3105.html"]] ||
 * Ling Zhao on Using Artificial Boundaries in the Game of Go, CG 2008 ||

=Selected Publications=

2000 ...

 * Ling Zhao (**2002**). //Solving and Creating Difficult Instances of Post's Correspondence Problem//. Masters thesis, University of Alberta, advisors Jonathan Schaeffer, Martin Müller [|pdf]
 * Ling Zhao (**2002**). //[|Tackling Post’s Correspondence Problem]//. CG 2002, [|pdf]
 * Ling Zhao, Martin Müller (**2004**). //Game-SAT: A Preliminary Report//. [|SAT 2004], [|pdf]

2005 ...

 * Ling Zhao, Martin Müller (**2005**). //[|Solving Probabilistic Combinatorial Games]//. Advances in Computer Games 11
 * Ling Zhao, Martin Müller (**2008**). //[|Using Artificial Boundaries in the Game of Go]//. CG 2008

=External Links=
 * [|Welcome to the Post's Correspondence Problem!] by Ling Zhao

=References= =What links here?= include page="Ling Zhao" component="backlinks" limit="40"
 * Up one level**