Fixed and improved implementation of Branch & Bounds algorithm