| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. John Thornton 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 7 Matthew Beaumont , Abdul Sattar , Michael J. Maher , John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001 : 37-49 6 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar , John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000 : 531-536 5 John Thornton, Abdul Sattar : On the Behavior and Application of Constraint Weighting. CP 1999 : 446-460 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 2 John Thornton, Abdul Sattar : Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997 : 57-66 1 John Thornton, Abdul Sattar : An Integer Programming-Based Nurse Rostering System. ASIAN 1996 : 357-358  DiSC'03 © 2003 Association for Computing Machinery |
