A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. - John Thornton 001; Stuart Bain; Abdul Sattar 001; Duc Nghia Pham (Australian Joint Conference on Artificial Intelligence, 2002)

Additive versus Multiplicative Clause Weighting for SAT. - John Thornton 001; Duc Nghia Pham; Stuart Bain; Valnir Ferreira Jr. (AAAI, 2004)

Old Resolution Meets Modern SLS. - Anbulagan; Duc Nghia Pham; John K. Slaney; Abdul Sattar 001 (AAAI, 2005)

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001; Abdelraouf Ishtaiwi (AAAI, 2005)

Neighbourhood Clause Weight Redistribution in Local Search for SAT. - Abdelraouf Ishtaiwi; John Thornton 001; Abdul Sattar 001; Duc Nghia Pham (CP, 2005)

Adaptive Clause Weight Redistribution. - Abdelraouf Ishtaiwi; John Thornton 001; Anbulagan; Abdul Sattar 001; Duc Nghia Pham (CP, 2006)

Towards an Efficient SAT Encoding for Temporal Reasoning. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (CP, 2006)

Advances in Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2007)

Building Structure into Local Search for SAT. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (IJCAI, 2007)

Efficiently Exploiting Dependencies in Local Search for SAT. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (AAAI, 2008)

A Compact and Efficient SAT Encoding for Planning. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (ICAPS, 2008)

Using Cost Distributions to Guide Weight Decay in Local Search for SAT. - John Thornton 001; Duc Nghia Pham (PRICAI, 2008)

Modelling and solving temporal reasoning as propositional satisfiability. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (Artif. Intell., 2008)

Combining Adaptive and Dynamic Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (J. Satisf. Boolean Model. Comput., 2008)

SAT-Based Parallel Planning Using a Split Representation of Actions. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (ICAPS, 2009)

Partial Weighted MaxSAT for Optimal Planning. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (PRICAI, 2010)

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. - Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar 001; Michael J. Maher (CP, 2011)

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

A Method to Avoid Duplicative Flipping in Local Search for SAT. - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2012)

A New Genetic Algorithm for Simplified Protein Structure Prediction. - Mahmood A. Rashid; Md. Tamjidul Hoque; M. A. Hakim Newton; Duc Nghia Pham; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2012)

Random-walk: a stagnation recovery technique for simplified protein structure prediction. - Mahmood A. Rashid; Swakkhar Shatabda; M. A. Hakim Newton; Tamjidul Hoque; Duc Nghia Pham; Abdul Sattar 001 (BCB, 2012)

Memory-based local search for simplified protein structure prediction. - Swakkhar Shatabda; Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar 001 (BCB, 2012)

A Study of Local Minimum Avoidance Heuristics for SAT. - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001 (ECAI, 2012)

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2013)

A Hybrid Local Search for Simplified Protein Structure Prediction. - Swakkhar Shatabda; M. A. Hakim Newton; Duc Nghia Pham; Abdul Sattar 001 (BIOINFORMATICS, 2013)

Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. - M. A. Hakim Newton; Duc Nghia Pham; Wee Lum Tan; Marius Portmann; Abdul Sattar 001 (CP, 2013)

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

Trap escape for local search by backtracking and conflict reverse. - Huu-Phuoc Duong; Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001; Anh Duc Duong (SCAI, 2013)

Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. - Mahmood A. Rashid; M. A. Hakim Newton; Tamjidul Hoque; Swakkhar Shatabda; Duc Nghia Pham; Abdul Sattar 001 (BMC Bioinform., 2013)

The road not taken: retreat and diverge in local search for simplified protein structure prediction. - Swakkhar Shatabda; M. A. Hakim Newton; Mahmood A. Rashid; Duc Nghia Pham; Abdul Sattar 001 (BMC Bioinform., 2013)

How Good Are Simplified Models for Protein Structure Prediction? - Swakkhar Shatabda; M. A. Hakim Newton; Mahmood A. Rashid; Duc Nghia Pham; Abdul Sattar 001 (Adv. Bioinformatics, 2014)

Benchmarking NLP Toolkits for Enterprise Application. - Kok Weiying; Duc Nghia Pham; Yasaman Eftekharypour; Ang Jia Pheng (PRICAI (3), 2019)

Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline. - Mohammad Arshi Saloot; Duc Nghia Pham (ISEEIE, 2021)

Evaluating logic gate constraints in local search for structured satisfiability problems. - M. A. Hakim Newton; Md. Masbaul Alam; Duc Nghia Pham; John Thornton 001; Kaile Su; Abdul Sattar 001 (Artif. Intell. Rev., 2021)