Follow
John Thornton
John Thornton
Griffith University and University of Sussex
Verified email at griffith.edu.au - Homepage
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
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
702014
Building Structure into Local Search for SAT.
DN Pham, J Thornton, A Sattar
IJCAI 7, 2359-2364, 2007
642007
Robust character recognition using a hierarchical Bayesian network
J Thornton, T Gustafsson, M Blumenstein, T Hine
AI 2006: Advances in Artificial Intelligence: 19th Australian Joint …, 2006
472006
Clause weighting local search for SAT
J Thornton
Journal of Automated Reasoning 35, 97-142, 2005
442005
Modelling and solving temporal reasoning as propositional satisfiability
DN Pham, J Thornton, A Sattar
Artificial Intelligence 172 (15), 1752-1782, 2008
432008
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
402008
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
402005
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
332003
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
292004
Character recognition using hierarchical vector quantization and temporal pooling
J Thornton, J Faichney, M Blumenstein, T Hine
AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint …, 2008
272008
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
Towards an efficient SAT encoding for temporal reasoning
DN Pham, J Thornton, A Sattar
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
252006
Nurse rostering and integer programming revisited
J Thornton, A Sattar
International conference on computational intelligence and multimedia …, 1997
241997
Adaptive clause weight redistribution
A Ishtaiwi, J Thornton, Anbulagan, A Sattar, DN Pham
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
212006
Solving overconstrained temporal reasoning problems
M Beaumont, A Sattar, M Maher, J Thornton
AI 2001: Advances in Artificial Intelligence: 14th Australian Joint …, 2001
212001
Constraint Weighting Local Search for
J Thornton
Griffith University, Australia, 2000
202000
Spatial pooling for greyscale images
J Thornton, A Srbic
International journal of machine learning and cybernetics 4, 207-216, 2013
172013
Evolving algorithms for constraint satisfaction
S Bain, J Thornton, A Sattar
Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No …, 2004
172004
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
172004
The system can't perform the operation now. Try again later.
Articles 1–20