Effective Approaches to Solve P-Center Problem via Set Covering and SAT | IEEE Journals & Magazine | IEEE Xplore