John Thornton

other persons with the same name:

• John Thornton

2008
42		Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
41	EE	John Thornton, Jolon Faichney, Michael Blumenstein, Trevor Hine: Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling. Australasian Conference on Artificial Intelligence 2008: 562-572
40	EE	John Thornton, Duc Nghia Pham: Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI 2008: 405-416
39	EE	Duc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
38	EE	Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Combining Adaptive and Dynamic Local Search for Satisfiability. JSAT 4(2-4): 149-172 (2008)
2007
37		Mehmet A. Orgun, John Thornton: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings Springer 2007
36	EE	Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
35	EE	Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
34	EE	Duc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
33	EE	Andreas Mang, Oscar Camara, Giselle Brasil-Caseiras, William R. Crum, Julia A. Schnabel, Thorsten M. Buzug, Jeremy Rees, John Thornton, H. Rolf Jager, David J. Hawkes: Registration of Rcbv and Adc Maps with Structural and Physiological Mr Images in Glioma Patients: Study and Validation. ISBI 2007: 37-40
2006
32	EE	John Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine: Robust Character Recognition Using a Hierarchical Bayesian Network. Australian Conference on Artificial Intelligence 2006: 1259-1264
31	EE	Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
30	EE	Duc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
2005
29		Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
28	EE	Stuart Bain, John Thornton, Abdul Sattar: A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence 2005: 1068-1074
27	EE	Valnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81
26	EE	Stuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
25	EE	Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
24	EE	John Thornton, David Grace: Effect of lateral displacement of a high-altitude platform on cellular interference and handover. IEEE Transactions on Wireless Communications 4(4): 1483-1490 (2005)
23	EE	John Thornton: Clause Weighting Local Search for SAT. J. Autom. Reasoning 35(1-3): 97-142 (2005)
2004
22		John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.: Additive versus Multiplicative Clause Weighting for SAT. AAAI 2004: 191-196
21	EE	Bela Stantic, Sankalp Khanna, John Thornton: An Efficient Method for Indexing Now-relative Bitemporal data. ADC 2004: 113-122
20	EE	Valnir Ferreira Jr., John Thornton: Longer-Term Memory in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2004: 730-741
19		Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Conference 2004
18	EE	Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
17	EE	Stuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
16	EE	John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14(1): 93-112 (2004)
2003
15	EE	Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
14	EE	Wayne J. Pullan, Liang Zhao, John Thornton: Estimating Problem Metrics for SAT Clause Weighting Local Search. Australian Conference on Artificial Intelligence 2003: 137-149
13	EE	Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
12	EE	Bela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
2002
11	EE	John Thornton, Wayne J. Pullan, Justin Terry: Towards Fewer Parameters for SAT Clause Weighting Algorithms. Australian Joint Conference on Artificial Intelligence 2002: 569-578
10	EE	Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar: An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 579-590
9	EE	John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham: A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence 2002: 603-614
8	EE	John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
2001
7	EE	Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
2000
6	EE	Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000: 531-536
1999
5		John Thornton, Abdul Sattar: On the Behavior and Application of Constraint Weighting. CP 1999: 446-460
1998
4		John Thornton, Abdul Sattar: Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998: 367-372
3		John Thornton, Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388
1997
2		John Thornton, Abdul Sattar: Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997: 57-66
1996
1		John Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358

Coauthor Index

1	Anbulagan	[15] [31]
2	Stuart Bain	[9] [17] [22] [26] [28]
3	Matthew Beaumont	[7] [8] [16] [18]
4	Michael Blumenstein	[32] [41]
5	Giselle Brasil-Caseiras	[33]
6	Thorsten M. Buzug	[33]
7	Oscar Camara	[33]
8	William R. Crum	[33]
9	Jolon Faichney	[41]
10	Valnir Ferreira Jr.	[20] [22] [27]
11	Scott D. Goodwin	[6]
12	David Grace	[24]
13	Charles Gretton	[36] [38]
14	Torbjorn Gustafsson	[32]
15	David J. Hawkes	[33]
16	Trevor Hine	[32] [41]
17	Abdelraouf Ishtaiwi	[25] [29] [31] [35]
18	H. Rolf Jager	[33]
19	Sankalp Khanna	[21]
20	Olena Kravchuk	[10]
21	Michael J. Maher	[7] [8] [16] [18]
22	Andreas Mang	[33]
23	Sivakumar Nagarajan	[6]
24	Mehmet A. Orgun	[37]
25	Duc Nghia Pham	[9] [22] [25] [29] [30] [31] [34] [36] [38] [39] [40] [42]
26	Wayne J. Pullan	[10] [11] [14]
27	Jeremy Rees	[33]
28	Abdul Sattar	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15] [16] [17] [18] [19] [25] [26] [28] [29] [30] [31] [34] [35] [36] [38] [39] [42]
29	Julia A. Schnabel	[33]
30	Bela Stantic	[12] [21]
31	Justin Terry	[11]
32	Liang Zhao	[14]
33	Lingzhong Zhou	[13] [19]

Colors in the list of coauthors