Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings - Choueiry, Berthe Y.; Choueiry, Berthe Y.; Walsh, Toby; Walsh, Toby (Springer Berlin Heidelberg : Imprint: Springer, 2000)