| Additive versus multiplicative clause weighting for SAT J Thornton, DN Pham, S Bain, V Ferreira Jr AAAI 4, 191-196, 2004 | 155 | 2004 |
| Building Structure into Local Search for SAT. DN Pham, J Thornton, A Sattar IJCAI 7, 2359-2364, 2007 | 61 | 2007 |
| Tailoring local search for partial MaxSAT S Cai, C Luo, J Thornton, K Su Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 54 | 2014 |
| Robust character recognition using a hierarchical Bayesian network J Thornton, T Gustafsson, M Blumenstein, T Hine Australasian Joint Conference on Artificial Intelligence, 1259-1264, 2006 | 44 | 2006 |
| Clause weighting local search for SAT J Thornton Journal of Automated Reasoning 35 (1), 97-142, 2005 | 42 | 2005 |
| Modelling and solving temporal reasoning as propositional satisfiability DN Pham, J Thornton, A Sattar Artificial Intelligence 172 (15), 1752-1782, 2008 | 40 | 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 | 37 | 2008 |
| 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 | 36 | 2005 |
| A novel approach to model NOW in temporal databases B Stantic, J Thornton, A Sattar 10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003 | 32 | 2003 |
| A local search approach to modelling and solving interval algebra problems J Thornton, M Beaumont, A Sattar, M Maher Journal of logic and Computation 14 (1), 93-112, 2004 | 30 | 2004 |
| Character recognition using hierarchical vector quantization and temporal pooling J Thornton, J Faichney, M Blumenstein, T Hine Australasian joint conference on artificial intelligence, 562-572, 2008 | 27 | 2008 |
| Advances in local search for satisfiability DN Pham, J Thornton, C Gretton, A Sattar Australasian Joint Conference on Artificial Intelligence, 213-222, 2007 | 27 | 2007 |
| Nurse rostering and integer programming revisited J Thornton, A Sattar International conference on computational intelligence and multimedia …, 1997 | 22 | 1997 |
| Solving overconstrained temporal reasoning problems M Beaumont, A Sattar, M Maher, J Thornton Australian Joint Conference on Artificial Intelligence, 37-49, 2001 | 20 | 2001 |
| Towards an efficient SAT encoding for temporal reasoning DN Pham, J Thornton, A Sattar International Conference on Principles and Practice of Constraint …, 2006 | 19 | 2006 |
| Constraint Weighting Local Search for J Thornton Griffith University, Australia, 2000 | 19 | 2000 |
| Adaptive clause weight redistribution A Ishtaiwi, J Thornton, A Sattar, DN Pham International Conference on Principles and Practice of Constraint …, 2006 | 18 | 2006 |
| Spatial pooling for greyscale images J Thornton, A Srbic International journal of machine learning and cybernetics 4 (3), 207-216, 2013 | 17 | 2013 |
| An efficient method for indexing now-relative bitemporal data B Stantic, S Khanna, J Thornton Proceedings of the 15th Australasian database conference-Volume 27, 113-122, 2004 | 17 | 2004 |
| 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 | 15 | 2002 |
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
