computer-go: Proof number search

[Peter Drake <drake@xxxxxxxxxx>]

I'm reading Dennis Breuker's thesis (thanks for the link, Erik), and 
it's fascinating.

This "proof number search" algorithm sounds like it would be fabulous 
for ladders and life-and-death.  Is anybody using this for Go, or was I 
just handed a piece of low-hanging fruit?  :-)


Peter Drake
Assistant Professor of Computer Science
Lewis & Clark College
http://www.lclark.edu/~drake/