Wanxia Wei Chu Min Li Harry Zhang A Switching Criterion for Intensification and Diversification in Local Search for SAT. 219-237 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_11_Wei.pdf db/journals/jsat/jsat4.html#WeiLZ08