A theoretical framework for runtime analysis of ant colony optimization | IEEE Conference Publication | IEEE Xplore