dblp.uni-trier.dewww.uni-trier.de

John Thornton Vis

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
42 Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
41EEJohn Thornton, Jolon Faichney, Michael Blumenstein, Trevor Hine: Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling. Australasian Conference on Artificial Intelligence 2008: 562-572
40EEJohn Thornton, Duc Nghia Pham: Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI 2008: 405-416
39EEDuc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
38EEDuc 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
36EEDuc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
35EEAbdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
34EEDuc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
33EEAndreas 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
32EEJohn Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine: Robust Character Recognition Using a Hierarchical Bayesian Network. Australian Conference on Artificial Intelligence 2006: 1259-1264
31EEAbdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
30EEDuc 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
28EEStuart 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
27EEValnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81
26EEStuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
25EEAbdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
24EEJohn 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)
23EEJohn 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
21EEBela Stantic, Sankalp Khanna, John Thornton: An Efficient Method for Indexing Now-relative Bitemporal data. ADC 2004: 113-122
20EEValnir 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
18EEMatthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
17EEStuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
16EEJohn 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
15EE Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
14EEWayne J. Pullan, Liang Zhao, John Thornton: Estimating Problem Metrics for SAT Clause Weighting Local Search. Australian Conference on Artificial Intelligence 2003: 137-149
13EELingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
12EEBela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
2002
11EEJohn Thornton, Wayne J. Pullan, Justin Terry: Towards Fewer Parameters for SAT Clause Weighting Algorithms. Australian Joint Conference on Artificial Intelligence 2002: 569-578
10EEOlena 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
9EEJohn 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
8EEJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
2001
7EEMatthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
2000
6EESivakumar 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
3EEJohn Thornton, Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388
1997
2EEJohn 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]
2Stuart Bain [9] [17] [22] [26] [28]
3Matthew Beaumont [7] [8] [16] [18]
4Michael Blumenstein [32] [41]
5Giselle Brasil-Caseiras [33]
6Thorsten M. Buzug [33]
7Oscar Camara [33]
8William R. Crum [33]
9Jolon Faichney [41]
10Valnir Ferreira Jr. [20] [22] [27]
11Scott D. Goodwin [6]
12David Grace [24]
13Charles Gretton [36] [38]
14Torbjorn Gustafsson [32]
15David J. Hawkes [33]
16Trevor Hine [32] [41]
17Abdelraouf Ishtaiwi [25] [29] [31] [35]
18H. Rolf Jager [33]
19Sankalp Khanna [21]
20Olena Kravchuk [10]
21Michael J. Maher [7] [8] [16] [18]
22Andreas Mang [33]
23Sivakumar Nagarajan [6]
24Mehmet A. Orgun [37]
25Duc Nghia Pham [9] [22] [25] [29] [30] [31] [34] [36] [38] [39] [40] [42]
26Wayne J. Pullan [10] [11] [14]
27Jeremy Rees [33]
28Abdul 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]
29Julia A. Schnabel [33]
30Bela Stantic [12] [21]
31Justin Terry [11]
32Liang Zhao [14]
33Lingzhong Zhou [13] [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)