"George L. Nemhauser"