[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using partial plys
Vincent Diepeveen wrote:
> a human is not busy with 'depths'. A human sees a move and a plan, and
> searches till he thinks that is needed to search. This is called bestfirst
> search without any depth limitation. However so far no one managed to
> implement that... :)
(IMHO) The proof number search is exactly this and has been implemented.
--
Cheers Paul.
Tel: +44 1225 826108
Fax: +44 1225 826305
snail: P.J.Leonard
Applied Electromagnetic Research Centre
Bath University,
BATH, UK BA2 7AY