Follow
Duc Nghia Pham
Title
Cited by
Cited by
Year
Additive versus multiplicative clause weighting for SAT
J Thornton, DN Pham, S Bain, V Ferreira Jr
AAAI 4, 191-196, 2004
1642004
Building Structure into Local Search for SAT.
DN Pham, J Thornton, A Sattar
IJCAI 7, 2359-2364, 2007
632007
SAT-based parallel planning using a split representation of actions
N Robinson, C Gretton, DN Pham, A Sattar
Proceedings of the international conference on automated planning and …, 2009
622009
Kangaroo: An efficient constraint-based local search system using lazy propagation
MAH Newton, DN Pham, A Sattar, M Maher
Principles and Practice of Constraint Programming–CP 2011: 17th …, 2011
482011
Modelling and solving temporal reasoning as propositional satisfiability
DN Pham, J Thornton, A Sattar
Artificial Intelligence 172 (15), 1752-1782, 2008
442008
Combining adaptive and dynamic local search for satisfiability
D Nghia Pham, J Thornton, C Gretton, A Sattar
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 149-172, 2008
412008
Old resolution meets modern SLS
A Anbulagan, DN Pham, J Slaney, A Sattar
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 354, 2005
412005
Neighbourhood clause weight redistribution in local search for SAT
A Ishtaiwi, J Thornton, A Sattar, DN Pham
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
412005
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
PRICAI 2010: Trends in Artificial Intelligence: 11th Pacific Rim …, 2010
362010
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
362008
A new genetic algorithm for simplified protein structure prediction
MA Rashid, MT Hoque, MAH Newton, DN Pham, A Sattar
AI 2012: Advances in Artificial Intelligence: 25th Australasian Joint …, 2012
312012
Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice
MA Rashid, MAH Newton, MT Hoque, S Shatabda, DN Pham, A Sattar
BMC bioinformatics 14, 1-13, 2013
292013
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
272007
Memory-based local search for simplified protein structure prediction
S Shatabda, MAH Newton, DN Pham, A Sattar
Proceedings of the ACM Conference on Bioinformatics, Computational Biology …, 2012
252012
gnovelty+(v. 2)
DN Pham, C Gretton
Solver description. SAT Competition, 2009
252009
Towards an efficient SAT encoding for temporal reasoning
DN Pham, J Thornton, A Sattar
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
232006
Adaptive clause weight redistribution
A Ishtaiwi, J Thornton, Anbulagan, A Sattar, DN Pham
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
202006
How to efficiently predict dengue incidence in Kuala Lumpur
DN Pham, T Aziz, A Kohan, S Nellis, JJ Khoo, D Lukose, S AbuBakar, ...
2018 Fourth International Conference on Advances in Computing, Communication …, 2018
192018
The road not taken: retreat and diverge in local search for simplified protein structure prediction
S Shatabda, MA Hakim Newton, MA Rashid, DN Pham, A Sattar
BMC bioinformatics 14, 1-9, 2013
192013
How good are simplified models for protein structure prediction?
S Shatabda, MA Newton, MA Rashid, DN Pham, A Sattar
Advances in bioinformatics 2014, 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20