| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. John Thornton A. Anbulagan , John Thornton, Abdul Sattar : Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003 : 100-111 Wayne J. Pullan , Liang Zhao , John Thornton: Estimating Problem Metrics for SAT Clause Weighting Local Search. Australian Conference on Artificial Intelligence 2003 : 137-149 Lingzhong Zhou , John Thornton, Abdul Sattar : Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003 : 427-439 Bela Stantic , John Thornton, Abdul Sattar : A Novel Approach to Model NOW in Temporal Databases. TIME 2003 : 174-180 John Thornton, Wayne J. Pullan , Justin Terry : Towards Fewer Parameters for SAT Clause Weighting Algorithms. Australian Joint Conference on Artificial Intelligence 2002 : 569-578 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 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 John Thornton, Matthew Beaumont , Abdul Sattar , Michael J. Maher : Applying Local Search to Temporal Reasoning. TIME 2002 : 94-99 Matthew Beaumont , Abdul Sattar , Michael J. Maher , John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001 : 37-49 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar , John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000 : 531-536 John Thornton, Abdul Sattar : On the Behavior and Application of Constraint Weighting. CP 1999 : 446-460 John Thornton, Abdul Sattar : Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998 : 367-372 John Thornton, Abdul Sattar : Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998 : 377-388 John Thornton, Abdul Sattar : Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997 : 57-66 John Thornton, Abdul Sattar : An Integer Programming-Based Nurse Rostering System. ASIAN 1996 : 357-358 John Thornton: Converting from a DEC system-10 to VAX. SIGUCCS 1987 : 169-172 1 [ 16 ] 2 [ 10 ] 3 [ 8 ] [ 9 ] 4 [ 7 ] 5 [ 11 ] 6 [ 8 ] [ 9 ] 7 [ 7 ] 8 [ 10 ] 9 [ 11 ] [ 12 ] [ 15 ] 10 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 13 ] [ 14 ] [ 16 ] 11 [ 13 ] 12 [ 12 ] 13 [ 15 ] 14 [ 14 ]  ©2004 Association for Computing Machinery |
