publicações Solving Integer Programming Problems using Preprocessing and Cutting Planes: Theory and Implementation of Branch and Cut Documento