An Integer Programming-Based Nurse Rostering System. - John Thornton 001; Abdul Sattar 001 (ASIAN, 1996)

Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. - John Thornton 001; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 1997)

Using Arc Weights to Improve Iterative Repair. - John Thornton 001; Abdul Sattar 001 (AAAI/IAAI, 1998)

Dynamic Constraint Weighting for Over-Constrained Problems. - John Thornton 001; Abdul Sattar 001 (PRICAI, 1998)

On the Behavior and Application of Constraint Weighting. - John Thornton 001; Abdul Sattar 001 (CP, 1999)

On Dual Encodings for Non-binary Constraint Satisfaction Problems. - Sivakumar Nagarajan; Scott D. Goodwin; Abdul Sattar 001; John Thornton 001 (CP, 2000)

Solving Overconstrained Temporal Reasoning Problems. - Matthew Beaumont; Abdul Sattar 001; Michael J. Maher; John Thornton 001 (Australian Joint Conference on Artificial Intelligence, 2001)

An Investigation of Variable Relationships in 3-SAT Problems. - Olena Kravchuk; Wayne J. Pullan; John Thornton 001; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 2002)

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. - John Thornton 001; Stuart Bain; Abdul Sattar 001; Duc Nghia Pham (Australian Joint Conference on Artificial Intelligence, 2002)

Towards Fewer Parameters for SAT Clause Weighting Algorithms. - John Thornton 001; Wayne J. Pullan; Justin Terry (Australian Joint Conference on Artificial Intelligence, 2002)

Applying Local Search to Temporal Reasoning. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (TIME, 2002)

Dynamic Variable Filtering for Hard Random 3-SAT Problems. - Anbulagan; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2003)

Estimating Problem Metrics for SAT Clause Weighting Local Search. - Wayne J. Pullan; Liang Zhao; John Thornton 001 (Australian Conference on Artificial Intelligence, 2003)

Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. - Lingzhong Zhou; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2003)

A Novel Approach to Model NOW in Temporal Databases. - Bela Stantic; John Thornton 001; Abdul Sattar 001 (TIME, 2003)

Additive versus Multiplicative Clause Weighting for SAT. - John Thornton 001; Duc Nghia Pham; Stuart Bain; Valnir Ferreira Jr. (AAAI, 2004)

An Efficient Method for Indexing Now-relative Bitemporal data. - Bela Stantic; Sankalp Khanna; John Thornton 001 (ADC, 2004)

Longer-Term Memory in Clause Weighting Local Search for SAT. - Valnir Ferreira Jr.; John Thornton 001 (Australian Conference on Artificial Intelligence, 2004)

Evolving algorithms for constraint satisfaction. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2004)

Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. - Lingzhong Zhou; John Thornton 001; Abdul Sattar 001 (FLAIRS, 2004)

Methods of Automatic Algorithm Generation. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (PRICAI, 2004)

Solving Over-Constrained Temporal Reasoning Problems Using Local Search. - Matthew Beaumont; John Thornton 001; Abdul Sattar 001; Michael J. Maher (PRICAI, 2004)

A Local Search Approach to Modelling and Solving Interval Algebra Problems. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (J. Log. Comput., 2004)

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001; Abdelraouf Ishtaiwi (AAAI, 2005)

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2005)

Tie Breaking in Clause Weighting Local Search for SAT. - Valnir Ferreira Jr.; John Thornton 001 (Australian Conference on Artificial Intelligence, 2005)

Evolving Variable-Ordering Heuristics for Constrained Optimisation. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (CP, 2005)

Neighbourhood Clause Weight Redistribution in Local Search for SAT. - Abdelraouf Ishtaiwi; John Thornton 001; Abdul Sattar 001; Duc Nghia Pham (CP, 2005)

Clause Weighting Local Search for SAT. - John Thornton 001 (J. Autom. Reason., 2005)

Robust Character Recognition Using a Hierarchical Bayesian Network. - John Thornton 001; Torbjorn Gustafsson; Michael Blumenstein; Trevor Hine (Australian Conference on Artificial Intelligence, 2006)

Adaptive Clause Weight Redistribution. - Abdelraouf Ishtaiwi; John Thornton 001; Anbulagan; Abdul Sattar 001; Duc Nghia Pham (CP, 2006)

Towards an Efficient SAT Encoding for Temporal Reasoning. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (CP, 2006)

Weight Redistribution for Unweighted MAX-SAT. - Abdelraouf Ishtaiwi; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2007)

Advances in Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2007)

Building Structure into Local Search for SAT. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (IJCAI, 2007)

Efficiently Exploiting Dependencies in Local Search for SAT. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (AAAI, 2008)

Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling. - John Thornton 001; Jolon Faichney; Michael Blumenstein; Trevor Hine (Australasian Conference on Artificial Intelligence, 2008)

Using Cost Distributions to Guide Weight Decay in Local Search for SAT. - John Thornton 001; Duc Nghia Pham (PRICAI, 2008)

Modelling and solving temporal reasoning as propositional satisfiability. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (Artif. Intell., 2008)

Combining Adaptive and Dynamic Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (J. Satisf. Boolean Model. Comput., 2008)

Probabilistic Multi-Context Systems. - Marco Sotomayor; Kewen Wang 001; Yi-Dong Shen; John Thornton 001 (JIST, 2011)

Augmented Spatial Pooling. - John Thornton 001; Andrew Srbic; Linda Main; Mahsa Chitsaz (Australasian Conference on Artificial Intelligence, 2011)

Fixed Frame Temporal Pooling. - John Thornton 001; Linda Main; Andrew Srbic (Australasian Conference on Artificial Intelligence, 2012)

Probabilistic Reasoning in DL-Lite. - Raghav Ramachandran; Guilin Qi; Kewen Wang 001; Junhu Wang; John Thornton 001 (PRICAI, 2012)

Evaluating Sparse Codes on Handwritten Digits. - Linda Main; Benjamin Cowley 003; Adam Kneller; John Thornton 001 (Australasian Conference on Artificial Intelligence, 2013)

Spatial pooling for greyscale images. - John Thornton 001; Andrew Srbic (Int. J. Mach. Learn. Cybern., 2013)

Tailoring Local Search for Partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; John Thornton 001; Kaile Su (AAAI, 2014)

Cortically-Inspired Overcomplete Feature Learning for Colour Images. - Benjamin Cowley 003; Adam Kneller; John Thornton 001 (PRICAI, 2014)

A Cortically-Inspired Model for Bioacoustics Recognition. - Linda Main; John Thornton 001 (ICONIP (4), 2015)

Distal dendrite feedback in hierarchical temporal memory. - Adam Kneller; John Thornton 001 (IJCNN, 2015)

Feedback Modulated Attention Within a Predictive Framework. - Benjamin Cowley 003; John Thornton 001 (ACALCI, 2017)

Dynamic thresholds for self-organizing predictive cells. - Benjamin Cowley 003; John Thornton 001; Linda Main; Abdul Sattar 001 (ECAL, 2017)

Stable sparse encoding for predictive processing. - Linda Main; John Thornton 001 (SSCI, 2017)

Precision without Precisions: Handling uncertainty with a single predictive model. - Benjamin Cowley 003; John Thornton 001; Linda Main; Abdul Sattar 001 (ALIFE, 2018)

Evaluating logic gate constraints in local search for structured satisfiability problems. - M. A. Hakim Newton; Md. Masbaul Alam; Duc Nghia Pham; John Thornton 001; Kaile Su; Abdul Sattar 001 (Artif. Intell. Rev., 2021)