Wanxia Wei

According to our database, Wanxia Wei authored at least 5 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

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

Chu Min Li, Wanxia Wei, Yu Li

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2008

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

Wanxia Wei, Chu Min Li, Harry Zhang

J. Satisf. Boolean Model. Comput., 2008

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

Wanxia Wei, Chu Min Li, Harry Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

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

Chu Min Li, Wanxia Wei, Harry Zhang

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2004

Merging of XML Documents.

Wanxia Wei, Mengchi Liu, Shijun Li

Proceedings of the Conceptual Modeling, 2004