Pham, Duc Nghia

7 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

AAAI 2012 Trap Avoidance in Local Search Using Pseudo-Conflict Learning Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar

AAAI 2008 Efficiently Exploiting Dependencies in Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

IJCAI 2007 Building Structure into Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

AAAI 2005 Old Resolution Meets Modern SLS Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar

AAAI 2005 SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

AAAI 2004 Additive Versus Multiplicative Clause Weighting for SAT John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.