John Thornton
John Thornton
Griffith University and University of Sussex
Geverifieerd e-mailadres voor griffith.edu.au - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Additive versus multiplicative clause weighting for SAT
J Thornton, DN Pham, S Bain, V Ferreira Jr
AAAI 4, 191-196, 2004
1482004
Building Structure into Local Search for SAT.
DN Pham, J Thornton, A Sattar
IJCAI 7, 2359-2364, 2007
602007
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
492014
Clause weighting local search for SAT
J Thornton
Journal of Automated Reasoning 35 (1-3), 97-142, 2005
412005
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
402006
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
372008
Modelling and solving temporal reasoning as propositional satisfiability
DN Pham, J Thornton, A Sattar
Artificial Intelligence 172 (15), 1752-1782, 2008
352008
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
332005
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
312003
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
282004
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
Australasian Joint Conference on Artificial Intelligence, 213-222, 2007
262007
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
252008
Solving overconstrained temporal reasoning problems
M Beaumont, A Sattar, M Maher, J Thornton
Australian Joint Conference on Artificial Intelligence, 37-49, 2001
202001
Nurse rostering and integer programming revisited
J Thornton, A Sattar
International conference on computational intelligence and multimedia …, 1997
201997
Towards an efficient SAT encoding for temporal reasoning
DN Pham, J Thornton, A Sattar
International Conference on Principles and Practice of Constraint …, 2006
182006
Constraint Weighting Local Search for
J Thornton
Griffith University, Australia, 2000
182000
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
162004
Spatial pooling for greyscale images
J Thornton, A Srbic
International journal of machine learning and cybernetics 4 (3), 207-216, 2013
152013
Adaptive clause weight redistribution
A Ishtaiwi, J Thornton, A Sattar, DN Pham
International Conference on Principles and Practice of Constraint …, 2006
152006
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
152002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20