A short convergence proof for a class of ant colony optimization algorithms | IEEE Journals & Magazine | IEEE Xplore