correctness proof for alpha-beta algorithm
namenobodywants at gmail.com
namenobodywants at gmail.com
Tue Dec 19 15:23:24 EST 2017
On Monday, December 18, 2017 at 10:16:07 PM UTC-8, Terry Reedy wrote:
> Where or how have you looked so far? How formal do you want?
i want full-on formal with lots of rigor and every possible detail spelled out; i've looked in a couple of books but my best lead so far is a paper by knuth called "an analysis of alpha-beta pruning" - what i need is along those lines but with just a few more of the details spelled out
peace
stm
More information about the Python-list
mailing list