Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings - Sven Koenig, Robert C. Holte ((Lecture Notes in Computer Science))