Stav dette: Encyclopedia of operations research and management science /