Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings - Ian Miguel, Wheeler Ruml ((Lecture Notes in Computer Science))