Lambda Depth-First Proof Number Search and Its Application to Go

Kazuki Yoshizoe, Akihiro Kishimoto, Martin Müller 0003. Lambda Depth-First Proof Number Search and Its Application to Go. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2404-2409, 2007. [doi]

@inproceedings{YoshizoeKM07,
  title = {Lambda Depth-First Proof Number Search and Its Application to Go},
  author = {Kazuki Yoshizoe and Akihiro Kishimoto and Martin Müller 0003},
  year = {2007},
  url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-387.pdf},
  tags = {search},
  researchr = {https://researchr.org/publication/YoshizoeKM07},
  cites = {0},
  citedby = {0},
  pages = {2404-2409},
  booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  editor = {Manuela M. Veloso},
}