Duc Nghia Pham

发表

Trap escape for local search by backtracking and conflict reverse

Anh Duc Duong, Abdul Sattar, Huu-Phuoc Duong, 2013, SCAI.

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints

Abdul Sattar, John Thornton, Duc Nghia Pham, 2002, Australian Joint Conference on Artificial Intelligence.

A Method to Avoid Duplicative Flipping in Local Search for SAT

Abdul Sattar, Thach-Thao Duong, Duc Nghia Pham, 2012, Australasian Conference on Artificial Intelligence.

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation

Michael J. Maher, Abdul Sattar, Duc Nghia Pham, 2011, CP.

Adaptive Clause Weight Redistribution

Abdul Sattar, John Thornton, Anbulagan, 2006, CP.

Applying Local Search to MAX-SAT Problems with Hard and Soft Constraints

Abdul Sattar, John Thornton, Duc Nghia Pham, 2002 .

Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice

Abdul Sattar, Mahmood A. Rashid, Swakkhar Shatabda, 2013, BMC Bioinformatics.

A Compact and Efficient SAT Encoding for Planning

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2008, ICAPS.

A New Genetic Algorithm for Simplified Protein Structure Prediction

Abdul Sattar, Mahmood A. Rashid, Duc Nghia Pham, 2012, Australasian Conference on Artificial Intelligence.

Benchmarking NLP Toolkits for Enterprise Application

Duc Nghia Pham, Yasaman Eftekharypour, Kok Weiying, 2019, PRICAI.

Towards an Efficient SAT Encoding for Temporal Reasoning

Abdul Sattar, John Thornton, Duc Nghia Pham, 2006, CP.

A Study of Local Minimum Avoidance Heuristics for SAT

Abdul Sattar, Thach-Thao Duong, Duc Nghia Pham, 2012, ECAI.

Efficiently Exploiting Dependencies in Local Search for SAT

Abdul Sattar, John Thornton, Duc Nghia Pham, 2008, AAAI.

Boosting SLS performance by incorporating resolution-based preprocessor

Duc Nghia Pham, Abdul Sattar, Anbu Anbulagan, 2006 .

Modelling and Solving Temporal Reasoning as Satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2005 .

Combining Adaptive and Dynamic Local Search for Satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2008, J. Satisf. Boolean Model. Comput..

Advances in Local Search for Satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2007, Australian Conference on Artificial Intelligence.

Old Resolution Meets Modern SLS

Abdul Sattar, John K. Slaney, Anbulagan, 2005, AAAI.

Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2008, ICAPS 2008.

The road not taken: retreat and diverge in local search for simplified protein structure prediction

Abdul Sattar, Mahmood A. Rashid, Swakkhar Shatabda, 2013, BMC Bioinformatics.

Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems

Duc Nghia Pham, D. Pham, 2006 .

Building Structure into Local Search for SAT

Abdul Sattar, John Thornton, Duc Nghia Pham, 2007, IJCAI.

Partial Weighted MaxSAT for Optimal Planning

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2010, PRICAI.

Random-walk: a stagnation recovery technique for simplified protein structure prediction

Abdul Sattar, Mahmood A. Rashid, Swakkhar Shatabda, 2012, BCB '12.

How Good Are Simplified Models for Protein Structure Prediction?

Abdul Sattar, Mahmood A. Rashid, Swakkhar Shatabda, 2014, Adv. Bioinformatics.

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution

Abdul Sattar, Thach-Thao Duong, Duc Nghia Pham, 2013, Australasian Conference on Artificial Intelligence.

Additive versus Multiplicative Clause Weighting for SAT

John Thornton, Duc Nghia Pham, Stuart Bain, 2004, AAAI.

Trap Avoidance in Local Search Using Pseudo-Conflict Learning

Abdul Sattar, Thach-Thao Duong, Duc Nghia Pham, 2012, AAAI.

A Hybrid Local Search for Simplified Protein Structure Prediction pdf

Abdul Sattar, Swakkhar Shatabda, Duc Nghia Pham, 2013, BIOINFORMATICS.

SAT-Based Parallel Planning Using a Split Representation of Actions

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2009, ICAPS.

Neighbourhood Clause Weight Redistribution in Local Search for SAT

Abdul Sattar, John Thornton, Duc Nghia Pham, 2005, CP.

Memory-based local search for simplified protein structure prediction

Abdul Sattar, Swakkhar Shatabda, Duc Nghia Pham, 2012, BCB.

Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks

Abdul Sattar, Duc Nghia Pham, M. A. Hakim Newton, 2013, CP.

Modelling and solving temporal reasoning as propositional satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2008, Artif. Intell..

Cost-Optimal Planning using Weighted MaxSAT

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2010 .

Topic Modelling for Malay News Aggregator

Duc Nghia Pham, Hong Hoe Ong, Kok Weiying, 2018, 2018 Fourth International Conference on Advances in Computing, Communication & Automation (ICACCA).

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2005, AAAI.

Using Cost Distributions to Guide Weight Decay in Local Search for SAT

John Thornton, Duc Nghia Pham, 2008, PRICAI.

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability

Abdul Sattar, Thach-Thao Duong, Duc Nghia Pham, 2013, IJCAI.

Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline

Duc Nghia Pham, Mohammad Arshi Saloot, 2021, ISEEIE.

A Literature Review of Methods for Dengue Outbreak Prediction

Dickson Lukose, Duc Nghia Pham, Tarique Aziz, 2016 .