Thach-Thao Nguyen Duong

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Stochastic Local Search

Computationally Hard Problems

Random Sat Instances

Top Venues

Publications

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