- Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems
- Foundations 2010 Thursday 8-10am Tutorial
- THE FOUNDATIONS OF COMPUTING AND THE INFORMATION
- Foundations of Computing & Communication 1004ICT Court Case Written Argument Marking Schema
- The Scienti c Turn of Mind 227 phers as David Chalmers (1996) and John Searle (2004) have provided cogent
- Evolving Variable-Ordering Heuristics for Constrained Optimisation
- CURRICULUM VITAE DR. JOHN RICHARD THORNTON
- A Novel Approach to Model NOW in Temporal Databases Bela Stantic, John Thornton, Abdul Sattar
- An investigation of variable relationships in 3-SAT Olena Kravchuk, Wayne Pullan, John Thornton, and Abdul Sattar
- Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling
- A Local Search Approach to Modelling and Solving Interval Algebra Problems
- Offline Cursive Character Recognition: A state-of-the-art comparison John THORNTON, Jolon FAICHNEY, Michael BLUMENSTEIN, Vu NGUYEN and Trevor HINE
- Efficiently Exploiting Dependencies in Local Search for SAT Duc Nghia Pham and John Thornton and Abdul Sattar
- Using Cost Distributions to Guide Weight Decay in Local Search for SAT
- Building Structure into Local Search for SAT Duc Nghia Pham1,2
- Weight Redistribution for Unweighted Abdelraouf Ishtaiwi1,2
- Towards an Efficient SAT Encoding for Temporal Duc Nghia Pham, John Thornton, and Abdul Sattar
- Tie Breaking in Clause Weighting Local Search Valnir Ferreira Jr. and John Thornton
- Neighbourhood Clause Weight Redistribution in Local Search for SAT
- SAT-based versus CSP-based Constraint Weighting for Satisfiability Duc Nghia Pham and John Thornton and Abdul Sattar and Abdelraouf Ishtaiwi
- Modelling and Solving Temporal Reasoning as Propositional Satisfiability
- Longer-Term Memory in Clause Weighting Local Search for SAT
- Additive versus Multiplicative Clause Weighting for SAT John Thornton and Duc Nghia Pham and Stuart Bain and Valnir Ferreira Jr.
- An Efficient Method for Indexing Now-relative Bitemporal data Bela Stantic Sankalp Khanna John Thornton
- Tau Guidance for Mobile Soccer Robots Joe Leonard, Paul Treffner, & John Thornton
- Estimating Problem Metrics for SAT Clause Weighting Local Search
- Constraint Weighting Local Search for Constraint Satisfaction
- Dynamic Constraint Weighting for Over-Constrained Problems
- Using Arc Weights to Improve Iterative Repair John Thornton1
- Applied Partial Constraint Satisfaction using Weighted Iterative Repair
- Nurse Rostering and Integer Programming Revisited John Thornton
- Introduction Information Technology has fundamentally changed the way of life of peo-
- Off Campus & Assignment Handling Services Division of Information Services
- On the Behavior and Application of Constraint John Thornton1 and Abdul Sattar2
- Causation and Consciousness John Thornton
- Towards Fewer Parameters for SAT Clause Weighting John Thornton, Wayne Pullan, and Justin Terry
- An Integer Programming-Based Nurse Rostering John Thornton1
- 1. Introduction This paper outlines the developments we have
- Solving Overconstrained Temporal Reasoning Problems using Local Search #
- Faculty of Engineering and Applied Science Griffith University Gold Coast, Queensland
- Aboriginal culture, xi Abstraction, xii, 2, 12, 32, 81, 162, 167, 176,
- Solving Overconstrained Temporal Reasoning Matthew Beaumont, Abdul Sattar, Michael Maher, and John Thornton
- Modelling and Solving Temporal Reasoning as Propositional Satisfiability
- Clause Weighting Local Search for SAT John Thornton
- Evolving Algorithms for Constraint Satisfaction Stuart Bain and John Thornton and Abdul Sattar
- Acknowledgments This book has grown out of a course that I rst developed in 2003 at Grif th
- A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics
- Acknowledgments viii Introduction ix
- A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints
- Augmented Spatial Pooling John Thornton, Andrew Srbic, Linda Main, and Mahsa Chitsaz
- Probabilistic Multi-Context Systems Marco Sotomayor1, Kewen Wang1, Yi Dong Shen2, and John Thornton1
