Heuristics : Intelligent search strategies for computer problem solving - Pearl, Judea