Wanxia Wei

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Propositional Satisfiability

Poster Presentation

Conjunctive Normal Form

Propositional Theories

Top Venues

Publications

Chu Min Li, Wanxia Wei, Yu Li
Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). SAT (2012)
Wanxia Wei, Chu Min Li, Harry Zhang
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. CP (2008)
Wanxia Wei, Chu Min Li, Harry Zhang
A Switching Criterion for Intensification and Diversification in Local Search for SAT. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Chu Min Li, Wanxia Wei, Harry Zhang
Combining Adaptive Noise and Look-Ahead in Local Search for SAT. SAT (2007)
Wanxia Wei, Mengchi Liu, Shijun Li
Merging of XML Documents. ER (2004)