Encyclopedia of Operations Research and Management Science (Springer US, 2001)