Li Chen Yinrun Lyu Chong Wang Jingzheng Wu Changyou Zhang Nasro Min-Allah Jamal Alhiyafi Yongji Wang 0002 Solving linear optimization over arithmetic constraint formula. 69-102 2017 69 J. Glob. Optim. 1 https://doi.org/10.1007/s10898-017-0499-8 db/journals/jgo/jgo69.html#ChenLWWZMAW17