Wanxia Wei

2008
3	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
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

Coauthor Index

1	Chu Min Li	[2] [3]
2	Shijun Li	[1]
3	Mengchi Liu	[1]
4	Harry Zhang	[2] [3]

Colors in the list of coauthors