Integrating Standard Dependency Schemes in QCSP Solvers. - Ji-Wei Jin; Feifei Ma; Jian Zhang 001 (J. Comput. Sci. Technol., 2012)

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. - Feifei Ma; Xin Gao; Minghao Yin; Linjie Pan 001; Ji-Wei Jin; Hai Liu; Jian Zhang 001 (CP, 2016)

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. - Linjie Pan 001; Ji-Wei Jin; Xin Gao; Wei Sun 001; Feifei Ma; Minghao Yin; Jian Zhang 001 (CP, 2017)