Searching solutions in games and artificial intelligence door L.V. Allis