Merging of XML Documents. - Wanxia Wei; Mengchi Liu; Shijun Li 001 (ER, 2004)

Combining Adaptive Noise and Look-Ahead in Local Search for SAT. - Chu Min Li 001; Wanxia Wei; Harry Zhang (SAT, 2007)

Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. - Wanxia Wei; Chu Min Li 001; Harry Zhang (CP, 2008)

A Switching Criterion for Intensification and Diversification in Local Search for SAT. - Wanxia Wei; Chu Min Li 001; Harry Zhang (J. Satisf. Boolean Model. Comput., 2008)

Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). - Chu Min Li 001; Wanxia Wei; Yu Li 012 (SAT, 2012)