Duong, Thach-Thao Nguyen

1 publications

IJCAI 2013 Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton