A Switching Criterion for Intensification and Diversification in Local Search for SAT12
2008 ◽
Vol 4
(2-4)
◽
pp. 219-237
◽