A Benders decomposition algorithm for the maximum availability service facility location problem. - Ali Muffak; Okan Arslan (Comput. Oper. Res., 2023)