We investigate both static and search-based methods for proving the safety of stones and territories in Go. An extension of these methods recognizes many seki situations by a specialized search.
X. Niu and M. Müller. An improved safety solver in Go using partial regions. In J. van den Herik, X. Xu, Z. Ma, and M. Winands, editors, Computer and Games. 6th International Conference, volume 5131 of Lecture Notes in Computer Science, pages 102-112, Beijing, China, 2008. Springer. http://dx.doi.org/10.1007/978-3-540-87608-3_10. Acceptance rate: 24/40 = 60%.
X. Niu and M. Müller. An open boundary safety-of-territory solver for the game of Go. In J. van den Herik, P. Ciancarini, and H. Donkers, editors, Computer and Games. 5th International Conference, volume 4630 of Lecture Notes in Computer Science, pages 37 - 49, Torino, Italy, 2007. Springer.
X. Niu, A. Kishimoto, and M. Müller. Recognizing seki in computer Go. In J. van den Herik, S.-C. Hsu, T.-s. Hsu, and H. Donkers, editors, Advances in Computer Games. 11th International Conference, volume 4250 of Lecture Notes in Computer Science, pages 88 - 103. Springer, 2006.
X. Niu and M. Müller. An improved safety solver for computer Go. In J. van den Herik, Y. Björnsson, and N. Netanyahu, editors, Computers and Games: 4th International Conference, CG 2004, volume 3846 of Lecture Notes in Computer Science, pages 97-112, Ramat-Gan, Israel, 2006. Springer.
X. Niu. Recognizing safe territories and stones in computer Go. Master's thesis, University of Alberta, 2004.
M. Müller. Playing it safe: Recognizing secure territories in computer Go by using static rules and search. In H. Matsubara, editor, Game Programming Workshop in Japan '97, pages 80-86, Computer Shogi Association, Tokyo, Japan, 1997.
Martin Müller