Application of probabilistic Tabu Search to distribution system service restoration | IEEE Conference Publication | IEEE Xplore