| Additive versus multiplicative clause weighting for SAT J Thornton, DN Pham, S Bain, V Ferreira Jr AAAI 4, 191-196, 2004 | 170 | 2004 |
| Building Structure into Local Search for SAT. DN Pham, J Thornton, A Sattar IJCAI 7, 2359-2364, 2007 | 67 | 2007 |
| 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 | 64 | 2009 |
| Modelling and solving temporal reasoning as propositional satisfiability DN Pham, J Thornton, A Sattar Artificial Intelligence 172 (15), 1752-1782, 2008 | 47 | 2008 |
| 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 | 46 | 2011 |
| 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 | 43 | 2005 |
| 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 | 41 | 2005 |
| A Compact and Efficient SAT Encoding for Planning. N Robinson, C Gretton, DN Pham, A Sattar ICAPS, 296-303, 2008 | 39 | 2008 |
| 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 | 39 | 2008 |
| Partial weighted MaxSAT for optimal planning N Robinson, C Gretton, DN Pham, A Sattar PRICAI 2010: Trends in Artificial Intelligence: 11th Pacific Rim …, 2010 | 37 | 2010 |
| 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 | 30 | 2012 |
| 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 | 28 | 2013 |
| Advances in local search for satisfiability DN Pham, J Thornton, C Gretton, A Sattar AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007 | 27 | 2007 |
| 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 | 24 | 2012 |
| gnovelty+(v. 2) DN Pham, C Gretton Solver description. SAT Competition, 2009 | 24 | 2009 |
| Towards an efficient SAT encoding for temporal reasoning DN Pham, J Thornton, A Sattar Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 23 | 2006 |
| 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 | 21 | 2018 |
| Adaptive clause weight redistribution A Ishtaiwi, J Thornton, Anbulagan, A Sattar, DN Pham Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 21 | 2006 |
| 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 | 18 | 2013 |
| A two level local search for MAX-SAT problems with hard and soft constraints J Thornton, S Bain, A Sattar, DN Pham Australian Joint Conference on Artificial Intelligence, 603-614, 2002 | 18 | 2002 |
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
