Duc Nghia Pham

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 3

Top Topics

Stochastic Local Search

Wireless Mesh Networks

Memetic Algorithm

Top Venues

Australasian Conference on Artificial Intelligence

Publications

Mohammad Arshi Saloot, Duc Nghia Pham
Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline. ISEEIE (2021)
M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar
Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev. 54 (7) (2021)
Kok Weiying, Duc Nghia Pham, Yasaman Eftekharypour, Ang Jia Pheng
Benchmarking NLP Toolkits for Enterprise Application. PRICAI (3) (2019)
Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar
How Good Are Simplified Models for Protein Structure Prediction? Adv. Bioinformatics 2014 (2014)
M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar
Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. CP (2013)
Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar
The road not taken: retreat and diverge in local search for simplified protein structure prediction. BMC Bioinform. 14 (S-2) (2013)
Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Swakkhar Shatabda, Duc Nghia Pham, Abdul Sattar
Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. BMC Bioinform. 14 (S-2) (2013)
Swakkhar Shatabda, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar
A Hybrid Local Search for Simplified Protein Structure Prediction. CoRR (2013)
Huu-Phuoc Duong, Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar, Anh Duc Duong
Trap escape for local search by backtracking and conflict reverse. SCAI (2013)
Swakkhar Shatabda, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar
A Hybrid Local Search for Simplified Protein Structure Prediction. BIOINFORMATICS (2013)
Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar
Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. Australasian Conference on Artificial Intelligence (2013)
Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. IJCAI (2013)
Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar
A Study of Local Minimum Avoidance Heuristics for SAT. ECAI (2012)
Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar
A Method to Avoid Duplicative Flipping in Local Search for SAT. Australasian Conference on Artificial Intelligence (2012)
Swakkhar Shatabda, Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar
Memory-based local search for simplified protein structure prediction. BCB (2012)
Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar
Trap Avoidance in Local Search Using Pseudo-Conflict Learning. AAAI (2012)
Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Duc Nghia Pham, Abdul Sattar
Random-walk: a stagnation recovery technique for simplified protein structure prediction. BCB (2012)
Mahmood A. Rashid, Md. Tamjidul Hoque, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar
A New Genetic Algorithm for Simplified Protein Structure Prediction. Australasian Conference on Artificial Intelligence (2012)
Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP (2011)
Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
Partial Weighted MaxSAT for Optimal Planning. PRICAI (2010)
Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS (2009)
Duc Nghia Pham, John Thornton, Abdul Sattar
Efficiently Exploiting Dependencies in Local Search for SAT. AAAI (2008)
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
A Compact and Efficient SAT Encoding for Planning. ICAPS (2008)
John Thornton, Duc Nghia Pham
Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI (2008)
Duc Nghia Pham, John Thornton, Abdul Sattar
Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172 (15) (2008)
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence (2007)
Duc Nghia Pham, John Thornton, Abdul Sattar
Building Structure into Local Search for SAT. IJCAI (2007)
Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
Adaptive Clause Weight Redistribution. CP (2006)
Duc Nghia Pham, John Thornton, Abdul Sattar
Towards an Efficient SAT Encoding for Temporal Reasoning. CP (2006)
Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
Old Resolution Meets Modern SLS. AAAI (2005)
Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI (2005)
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham
Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP (2005)
John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.
Additive versus Multiplicative Clause Weighting for SAT. AAAI (2004)
John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence (2002)