Encyclopedia of operations research and management science (Kluwer, 2004)