Duc Nghia Pham

2 papers in the IJCAI proceedings

IJCAI 2013

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability

with Thach-Thao Nguyen Duong, Abdul Sattar, M. A. Hakim Newton

Details PDF

IJCAI 2007

Building Structure into Local Search for SAT

with John Thornton, Abdul Sattar

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings