Solving linear optimization over arithmetic constraint formula. - Li Chen; Yinrun Lyu; Chong Wang; Jingzheng Wu; Changyou Zhang; Nasro Min-Allah; Jamal Alhiyafi; Yongji Wang 002 (J. Glob. Optim., 2017)

An interleaved depth-first search method for the linear optimization problem with disjunctive constraints. - Yinrun Lyu; Li Chen; Changyou Zhang; Dacheng Qu; Nasro Min-Allah; Yongji Wang 002 (J. Glob. Optim., 2018)

MixHeter: A global scheduler for mixed workloads in heterogeneous environments. - Xiao Zhang; Yinrun Lyu; Yanjun Wu; Chen Zhao (J. Parallel Distributed Comput., 2018)