Intelligent search strategies for computer problem solving ‌ Pearl, Judea