Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings - Koenig, Sven; Koenig, Sven; Holte, Robert C.; Holte, Robert C. (Springer Berlin Heidelberg : Imprint: Springer, 2002)