Computer Chess Club Archives


Search

Terms

Messages

Subject: the correctness of alpha-beta pruning with respect to min-max

Author: Gregor Overney

Date: 00:54:35 09/28/00


If you want to find out more you might want to run LPTP (a logic program theorem
prover). Check out

http://www.inf.ethz.ch/personal/staerk/lptp/examples/alpha/main.html

for more. However, it's something for UNIX boxes. But you might get a copy of
Emacs for NT.

Gregor



This page took 0 seconds to execute

Last modified: Thu, 15 Apr 21 08:11:13 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.