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