Wanxia Wei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2012
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAT | Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). | Chu Min Li, Wanxia Wei, Yu Li |
| 2008 | CP | Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. | Wanxia Wei, Chu Min Li, Harry Zhang |
| 2007 | SAT | Combining Adaptive Noise and Look-Ahead in Local Search for SAT. | Chu Min Li, Wanxia Wei, Harry Zhang |
| 2004 | ER | Merging of XML Documents. | Wanxia Wei, Mengchi Liu, Shijun Li |