SARA 2007 (2007 Whistler, B.C.) profile picture

SARA 2007 (2007 Whistler, B.C.)

Abstraction, Reformulation, and Approximation
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings (Lecture Notes in Computer Science)