| 2008 |
|---|
| 4 | EE | Wanxia Wei,
Chu Min Li,
Harry Zhang:
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT.
CP 2008: 313-326 |
| 3 | EE | Wanxia Wei,
Chu Min Li,
Harry Zhang:
A Switching Criterion for Intensification and Diversification in Local Search for SAT.
JSAT 4(2-4): 219-237 (2008) |
| 2007 |
|---|
| 2 | EE | Chu Min Li,
Wanxia Wei,
Harry Zhang:
Combining Adaptive Noise and Look-Ahead in Local Search for SAT.
SAT 2007: 121-133 |
| 2004 |
|---|
| 1 | EE | Wanxia Wei,
Mengchi Liu,
Shijun Li:
Merging of XML Documents.
ER 2004: 273-285 |
