Development of Support Programs for Solving BMI Problems by Overbounding Approximation Method | IEEE Conference Publication | IEEE Xplore