Home * People * Ling Zhao

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 ^[1] on combinatorial games and the game of Go.

Photos

Ling Zhao on Using Artificial Boundaries in the Game of Go, CG 2008 [2]

Selected Publications

^[3]

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 ^[4]
• 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 ^[5]

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

1. ^ Martin Müller's Research Group
2. ^ 6th. Computer Games Conference 2008 - Gallery by Hideki Kato
3. ^ dblp: Ling Zhao
4. ^ Post correspondence problem from Wikipedia
5. ^ The SAT Game

What links here?

Up one level