Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings - Miguel, Ian; Ruml, Wheeler (Springer Berlin Heidelberg, 2007)