Exact approaches for static data segment allocation problem in an information network. (October 2015)