Jonathan Schaeffer Yngvi Björnsson Neil Burch Akihiro Kishimoto Martin Müller 0003 Robert Lake Paul Lu Steve Sutphen Solving Checkers. 292-297 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/0515.pdf db/conf/ijcai/ijcai2005.html#SchaefferBBK0LLS05