Duc Nghia Pham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
5
Active years
2004–2019
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PRICAI | Benchmarking NLP Toolkits for Enterprise Application. | Kok Weiying, Duc Nghia Pham, Yasaman Eftekharypour, Ang Jia Pheng |
| 2013 | CP | Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. | M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar |
| 2013 | IJCAI | Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. | Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton |
| 2012 | AAAI | Trap Avoidance in Local Search Using Pseudo-Conflict Learning. | Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar |
| 2012 | ECAI | A Study of Local Minimum Avoidance Heuristics for SAT. | Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar |
| 2011 | CP | Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
| 2010 | PRICAI | Partial Weighted MaxSAT for Optimal Planning. | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar |
| 2008 | AAAI | Efficiently Exploiting Dependencies in Local Search for SAT. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2008 | PRICAI | Using Cost Distributions to Guide Weight Decay in Local Search for SAT. | John Thornton, Duc Nghia Pham |
| 2007 | IJCAI | Building Structure into Local Search for SAT. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2006 | CP | Adaptive Clause Weight Redistribution. | Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham |
| 2006 | CP | Towards an Efficient SAT Encoding for Temporal Reasoning. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2005 | AAAI | Old Resolution Meets Modern SLS. | Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar |
| 2005 | AAAI | SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. | Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi |
| 2005 | CP | Neighbourhood Clause Weight Redistribution in Local Search for SAT. | Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham |
| 2004 | AAAI | Additive versus Multiplicative Clause Weighting for SAT. | John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr. |