John Thornton

other persons with the same name:

• John Thornton

	2008
43		Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
42		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
41		John Thornton, Duc Nghia Pham: Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI 2008: 405-416
40		Duc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
39		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
38		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
37		Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
36		Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
35		Duc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
34		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
33		John Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine: Robust Character Recognition Using a Hierarchical Bayesian Network. Australian Conference on Artificial Intelligence 2006: 1259-1264
32		Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
31		Duc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
	2005
30		Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
29		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
28		Valnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81
27		Stuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
26		Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
25		David Grace, John Thornton, Guanhua Chen, G. P. White, T. C. Tozer: Improving the system capacity of broadband services using multiple high-altitude platforms. IEEE Transactions on Wireless Communications 4(2): 700-709 (2005)
24		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		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		Bela Stantic, Sankalp Khanna, John Thornton: An Efficient Method for Indexing Now-relative Bitemporal data. ADC 2004: 113-122
20		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		Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
17		Stuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
16		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		Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
14		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		Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
12		Bela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
	2002
11		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		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		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		John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
	2001
7		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		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] [32]
2	Stuart Bain	[9] [17] [22] [27] [29]
3	Matthew Beaumont	[7] [8] [16] [18]
4	Michael Blumenstein	[33] [42]
5	Giselle Brasil-Caseiras	[34]
6	Thorsten M. Buzug	[34]
7	Oscar Camara	[34]
8	Guanhua Chen	[25]
9	William R. Crum	[34]
10	Jolon Faichney	[42]
11	Valnir Ferreira Jr.	[20] [22] [28]
12	Scott D. Goodwin	[6]
13	David Grace	[24] [25]
14	Charles Gretton	[37] [39]
15	Torbjorn Gustafsson	[33]
16	David J. Hawkes	[34]
17	Trevor Hine	[33] [42]
18	Abdelraouf Ishtaiwi	[26] [30] [32] [36]
19	H. Rolf Jager	[34]
20	Sankalp Khanna	[21]
21	Olena Kravchuk	[10]
22	Michael J. Maher	[7] [8] [16] [18]
23	Andreas Mang	[34]
24	Sivakumar Nagarajan	[6]
25	Mehmet A. Orgun	[38]
26	Duc Nghia Pham	[9] [22] [26] [30] [31] [32] [35] [37] [39] [40] [41] [43]
27	Wayne J. Pullan	[10] [11] [14]
28	Jeremy Rees	[34]
29	Abdul Sattar	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15] [16] [17] [18] [19] [26] [27] [29] [30] [31] [32] [35] [36] [37] [39] [40] [43]
30	Julia A. Schnabel	[34]
31	Bela Stantic	[12] [21]
32	Justin Terry	[11]
33	T. C. Tozer	[25]
34	G. P. White	[25]
35	Liang Zhao	[14]
36	Lingzhong Zhou	[13] [19]

Colors in the list of coauthors