Intelligent search strategies for computer problem solving מאת Pearl, Judea