Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability.

Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton

Browse the full IJCAI paper archive.