Accelerating Random Walks. - Wei Wei 040; Bart Selman (CP, 2002)

Towards Efficient Sampling: Exploiting Random Walk Strategies. - Wei Wei 040; Jordan Erenrich; Bart Selman (AAAI, 2004)

A New Approach to Model Counting. - Wei Wei 040; Bart Selman (SAT, 2005)

Exploiting Random Walk Strategies in Automated Reasoning. - Wei Wei 040 (2005)