Akihiro Kishimoto Martin Müller 0003 Search versus Knowledge for Solving Life and Death Problems in Go. 1374-1379 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#KishimotoM05