New computational results with an exact knapsack separation procedure for structured Binary Integer Programming problems | IEEE Conference Publication | IEEE Xplore