John Thornton

other persons with the same name:

• John Thornton

2007
35		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
34	EE	Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
33	EE	Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
32	EE	Duc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
2006
31	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
30	EE	Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
29	EE	Duc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
2005
28		Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
27	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
26	EE	Valnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81
25	EE	Stuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
24	EE	Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
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] [30]
2	Stuart Bain	[9] [17] [22] [25] [27]
3	Matthew Beaumont	[7] [8] [16] [18]
4	Michael Blumenstein	[31]
5	Valnir Ferreira Jr.	[20] [22] [26]
6	Scott D. Goodwin	[6]
7	Charles Gretton	[34]
8	Torbjorn Gustafsson	[31]
9	Trevor Hine	[31]
10	Abdelraouf Ishtaiwi	[24] [28] [30] [33]
11	Sankalp Khanna	[21]
12	Olena Kravchuk	[10]
13	Michael J. Maher	[7] [8] [16] [18]
14	Sivakumar Nagarajan	[6]
15	Mehmet A. Orgun	[35]
16	Duc Nghia Pham	[9] [22] [24] [28] [29] [30] [32] [34]
17	Wayne J. Pullan	[10] [11] [14]
18	Abdul Sattar	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15] [16] [17] [18] [19] [24] [25] [27] [28] [29] [30] [32] [33] [34]
19	Bela Stantic	[12] [21]
20	Justin Terry	[11]
21	Liang Zhao	[14]
22	Lingzhong Zhou	[13] [19]

Colors in the list of coauthors