Title: A theoretical study of cutting-plane methods for integer programming