An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints. - Li Chen; JingZheng Wu; Yinrun Lv; Yongji Wang 002 (J. Comput. Sci. Technol., 2016)