A Branch-and-Estimate Heuristic Procedure for Solving Nonconvex Integer Optimization Problems | IEEE Conference Publication | IEEE Xplore