Wanxia Wei

Merging of XML Documents

Mengchi Liu, Shijun Li, Wanxia Wei, 2004, ER.

Combining Adaptive Noise and Look-Ahead in Local Search for SAT

Harry Zhang, Chu Min Li, Chu Min Li, 2007, SAT.

14. Combining Adaptive Noise and Look-Ahead in Local Search for SAT

Harry Zhang, Chu Min Li, Wanxia Wei, 2010 .

Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT

Harry Zhang, Chu Min Li, Chu Min Li, 2008, CP.

A Switching Criterion for Intensification and Diversification in Local Search for SAT

Harry Zhang, Chu Min Li, Chu Min Li, 2008, J. Satisf. Boolean Model. Comput..

Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation)

Yu Li, Chu Min Li, Wanxia Wei, 2012, SAT.