About Sven Koenig Books by Sven Koenig Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings by (author) Sven Koenig edited by Robert C. Holte