PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I - Fenrong Liu; Arun Anand Sadanandan; Duc Nghia Pham; Petrus Mursanto; Dickson Lukose (Springer, 2024)

PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II - Fenrong Liu; Arun Anand Sadanandan; Duc Nghia Pham; Petrus Mursanto; Dickson Lukose (Springer, 2024)

PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III - Fenrong Liu; Arun Anand Sadanandan; Duc Nghia Pham; Petrus Mursanto; Dickson Lukose (Springer, 2024)

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

Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline - Mohammad Arshi Saloot; Duc Nghia Pham (ISEEIE 2021: International Symposium on Electrical, Electronics and Information Engineering, Seoul Republic of Korea, February 19 - 21, 2021, 2021)

PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I - Duc Nghia Pham; Thanaruk Theeramunkong; Guido Governatori; Fenrong Liu (Springer, 2021)

PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part II - Duc Nghia Pham; Thanaruk Theeramunkong; Guido Governatori; Fenrong Liu (Springer, 2021)

PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part III - Duc Nghia Pham; Thanaruk Theeramunkong; Guido Governatori; Fenrong Liu (Springer, 2021)

Benchmarking NLP Toolkits for Enterprise Application - Kok Weiying; Duc Nghia Pham; Yasaman Eftekharypour; Ang Jia Pheng (PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III, 2019)

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

PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings - Duc Nghia Pham; Seong-Bae Park (Springer, 2014)

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 (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 (BMC Bioinform., 2013)

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar (AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, 2013)

A Hybrid Local Search for Simplified Protein Structure Prediction - Swakkhar Shatabda; M. A. Hakim Newton; Duc Nghia Pham; Abdul Sattar (BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11 - 14 February, 2013, 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 (Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, 2013)

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability - Thach-Thao Nguyen Duong; Duc Nghia Pham; Abdul Sattar; M. A. Hakim Newton (IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, 2013)

Trap escape for local search by backtracking and conflict reverse - Huu-Phuoc Duong; Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar; Anh Duc Duong (Twelfth Scandinavian Conference on Artificial Intelligence, SCAI 2013, Aalborg, Denmark, November 20-22, 2013, 2013)

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

Trap Avoidance in Local Search Using Pseudo-Conflict Learning - Duc Nghia Pham; Thach-Thao Duong; Abdul Sattar (Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, 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 (AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings, 2012)

A Method to Avoid Duplicative Flipping in Local Search for SAT - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar (AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings, 2012)

Memory-based local search for simplified protein structure prediction - Swakkhar Shatabda; Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar (ACM International Conference on Bioinformatics, Computational Biology and Biomedicine, BCB' 12, Orlando, FL, USA - October 08 - 10, 2012, 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 (ACM International Conference on Bioinformatics, Computational Biology and Biomedicine, BCB' 12, Orlando, FL, USA - October 08 - 10, 2012, 2012)

A Study of Local Minimum Avoidance Heuristics for SAT - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar (ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, 2012)

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation - Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar; Michael J. Maher (Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, 2011)

Partial Weighted MaxSAT for Optimal Planning - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar (PRICAI 2010: Trends in Artificial Intelligence, 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings, 2010)

SAT-Based Parallel Planning Using a Split Representation of Actions - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar (Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009, 2009)

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

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

Efficiently Exploiting Dependencies in Local Search for SAT - Duc Nghia Pham; John Thornton; Abdul Sattar (Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, 2008)

A Compact and Efficient SAT Encoding for Planning - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar (Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008, 2008)

Using Cost Distributions to Guide Weight Decay in Local Search for SAT - John Thornton; Duc Nghia Pham (PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, 2008)

Advances in Local Search for Satisfiability - Duc Nghia Pham; John Thornton; Charles Gretton; Abdul Sattar (AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, 2007)

Building Structure into Local Search for SAT - Duc Nghia Pham; John Thornton; Abdul Sattar (IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, 2007)

Adaptive Clause Weight Redistribution - Abdelraouf Ishtaiwi; John Thornton; Anbulagan; Abdul Sattar; Duc Nghia Pham (Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, 2006)

Towards an Efficient SAT Encoding for Temporal Reasoning - Duc Nghia Pham; John Thornton; Abdul Sattar (Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, 2006)

Old Resolution Meets Modern SLS - Anbulagan; Duc Nghia Pham; John K. Slaney; Abdul Sattar (Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, 2005)

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability - Duc Nghia Pham; John Thornton; Abdul Sattar; Abdelraouf Ishtaiwi (Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, 2005)

Neighbourhood Clause Weight Redistribution in Local Search for SAT - Abdelraouf Ishtaiwi; John Thornton; Abdul Sattar; Duc Nghia Pham (Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, 2005)

Additive versus Multiplicative Clause Weighting for SAT - John Thornton; Duc Nghia Pham; Stuart Bain; Valnir Ferreira Jr. (Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, 2004)

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints - John Thornton; Stuart Bain; Abdul Sattar; Duc Nghia Pham (AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, 2002)