[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