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
1562004
Building Structure into Local Search for SAT.
DN Pham, J Thornton, A Sattar
IJCAI 7, 2359-2364, 2007
612007
SAT-based parallel planning using a split representation of actions
N Robinson, C Gretton, DN Pham, A Sattar
Nineteenth International Conference on Automated Planning and Scheduling, 2009
602009
Kangaroo: An efficient constraint-based local search system using lazy propagation
MA Newton, DN Pham, A Sattar, M Maher
International Conference on Principles and Practice of Constraint …, 2011
472011
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
Modelling and solving temporal reasoning as propositional satisfiability
DN Pham, J Thornton, A Sattar
Artificial Intelligence 172 (15), 1752-1782, 2008
402008
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
382008
Neighbourhood clause weight redistribution in local search for SAT
A Ishtaiwi, J Thornton, A Sattar, DN Pham
International Conference on Principles and Practice of Constraint …, 2005
362005
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
Pacific rim international conference on artificial intelligence, 231-243, 2010
342010
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
342008
A new genetic algorithm for simplified protein structure prediction
MA Rashid, M Hoque, MA Newton, DN Pham, A Sattar
Australasian Joint Conference on Artificial Intelligence, 107-119, 2012
302012
gnovelty+(v. 2)
DN Pham, C Gretton
Solver description. SAT Competition, 2009
272009
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
Australasian Joint Conference on Artificial Intelligence, 213-222, 2007
272007
Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice
MA Rashid, MA Newton, MT Hoque, S Shatabda, DN Pham, A Sattar
BMC bioinformatics 14 (2), 1-13, 2013
262013
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
Towards an efficient SAT encoding for temporal reasoning
DN Pham, J Thornton, A Sattar
International Conference on Principles and Practice of Constraint …, 2006
202006
The road not taken: retreat and diverge in local search for simplified protein structure prediction
S Shatabda, H Newton, MA Rashid, DN Pham, A Sattar
BMC bioinformatics 14 (2), 1-9, 2013
192013
Adaptive clause weight redistribution
A Ishtaiwi, J Thornton, A Sattar, DN Pham
International Conference on Principles and Practice of Constraint …, 2006
182006
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
152018
Random-walk: a stagnation recovery technique for simplified protein structure prediction
MA Rashid, S Shatabda, MAH Newton, MT Hoque, DN Pham, A Sattar
Proceedings of the ACM Conference on Bioinformatics, Computational Biology …, 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20