The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Thornton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
    SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:455-460 [Conf]
  2. John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.
    Additive versus Multiplicative Clause Weighting for SAT. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:191-196 [Conf]
  3. John Thornton, Abdul Sattar
    Using Arc Weights to Improve Iterative Repair. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:367-372 [Conf]
  4. Bela Stantic, Sankalp Khanna, John Thornton
    An Efficient Method for Indexing Now-relative Bitemporal data. [Citation Graph (0, 0)][DBLP]
    ADC, 2004, pp:113-122 [Conf]
  5. John Thornton, Abdul Sattar
    An Integer Programming-Based Nurse Rostering System. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:357-358 [Conf]
  6. Anbulagan, John Thornton, Abdul Sattar
    Dynamic Variable Filtering for Hard Random 3-SAT Problems. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:100-111 [Conf]
  7. Stuart Bain, John Thornton, Abdul Sattar
    A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:1068-1074 [Conf]
  8. Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
    Solving Overconstrained Temporal Reasoning Problems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:37-49 [Conf]
  9. Valnir Ferreira Jr., John Thornton
    Longer-Term Memory in Clause Weighting Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2004, pp:730-741 [Conf]
  10. Valnir Ferreira Jr., John Thornton
    Tie Breaking in Clause Weighting Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:70-81 [Conf]
  11. Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar
    An Investigation of Variable Relationships in 3-SAT Problems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:579-590 [Conf]
  12. Wayne J. Pullan, Liang Zhao, John Thornton
    Estimating Problem Metrics for SAT Clause Weighting Local Search. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:137-149 [Conf]
  13. John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham
    A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:603-614 [Conf]
  14. John Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine
    Robust Character Recognition Using a Hierarchical Bayesian Network. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:1259-1264 [Conf]
  15. John Thornton, Wayne J. Pullan, Justin Terry
    Towards Fewer Parameters for SAT Clause Weighting Algorithms. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:569-578 [Conf]
  16. John Thornton, Abdul Sattar
    Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1997, pp:57-66 [Conf]
  17. Lingzhong Zhou, John Thornton, Abdul Sattar
    Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:427-439 [Conf]
  18. Stuart Bain, John Thornton, Abdul Sattar
    Evolving Variable-Ordering Heuristics for Constrained Optimisation. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:732-736 [Conf]
  19. Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
    Adaptive Clause Weight Redistribution. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:229-243 [Conf]
  20. Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham
    Neighbourhood Clause Weight Redistribution in Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:772-776 [Conf]
  21. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton
    On Dual Encodings for Non-binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:531-536 [Conf]
  22. Duc Nghia Pham, John Thornton, Abdul Sattar
    Towards an Efficient SAT Encoding for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:421-436 [Conf]
  23. John Thornton, Abdul Sattar
    On the Behavior and Application of Constraint Weighting. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:446-460 [Conf]
  24. Lingzhong Zhou, John Thornton, Abdul Sattar
    Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2004, pp:- [Conf]
  25. Duc Nghia Pham, John Thornton, Abdul Sattar
    Building Structure into Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2359-2364 [Conf]
  26. Stuart Bain, John Thornton, Abdul Sattar
    Methods of Automatic Algorithm Generation. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:144-153 [Conf]
  27. Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
    Solving Over-Constrained Temporal Reasoning Problems Using Local Search. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:134-143 [Conf]
  28. John Thornton, Abdul Sattar
    Dynamic Constraint Weighting for Over-Constrained Problems. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:377-388 [Conf]
  29. Bela Stantic, John Thornton, Abdul Sattar
    A Novel Approach to Model NOW in Temporal Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:174-180 [Conf]
  30. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    Applying Local Search to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:94-99 [Conf]
  31. John Thornton
    Clause Weighting Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:97-142 [Journal]
  32. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    A Local Search Approach to Modelling and Solving Interval Algebra Problems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:1, pp:93-112 [Journal]

  33. Efficiently Exploiting Dependencies in Local Search for SAT. [Citation Graph (, )][DBLP]


  34. Advances in Local Search for Satisfiability. [Citation Graph (, )][DBLP]


  35. Weight Redistribution for Unweighted MAX-SAT. [Citation Graph (, )][DBLP]


  36. Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling. [Citation Graph (, )][DBLP]


  37. Registration of Rcbv and Adc Maps with Structural and Physiological Mr Images in Glioma Patients: Study and Validation. [Citation Graph (, )][DBLP]


  38. Using Cost Distributions to Guide Weight Decay in Local Search for SAT. [Citation Graph (, )][DBLP]


  39. Modelling and solving temporal reasoning as propositional satisfiability. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002