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 (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 (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 (Springer, 2024)

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

Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline. - Saloot, Mohammad Arshi; Pham, Duc Nghia (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 (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 (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 (Springer, 2021)

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

How Good Are Simplified Models for Protein Structure Prediction? - Shatabda, Swakkhar; Newton, M. A. Hakim; Rashid, Mahmood A.; Pham, Duc Nghia; Sattar, Abdul (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 (Springer, 2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Advances in Local Search for Satisfiability. - Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul (2007)

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

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

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

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

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

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

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

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