Duc Nghia Pham

42 papers A* 9A 6B 3Journal 7Unranked 11

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