Akihiro Kishimoto. Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 108-113, AAAI Press, 2010. [doi]
@inproceedings{Kishimoto10, title = {Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search}, author = {Akihiro Kishimoto}, year = {2010}, url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1567}, tags = {search}, researchr = {https://researchr.org/publication/Kishimoto10}, cites = {0}, citedby = {0}, pages = {108-113}, booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010}, editor = {Maria Fox and David Poole}, publisher = {AAAI Press}, }