7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
Lecture Notes in Computer Science > Abstraction, Reformulation, and Approximation > Research Papers > 5-19