Constrainedness of Computational Problems
"The Kappa pages"
Quick Links
Home
Overview
Research team
Publications
Applications
Presentations
What's new?

APES Group
EPSRC
 
 		 This grant supported the writing of the following publications:

Journals

  • Analysis of Heuristics for Number Partitioning .

    • Ian Gent and Toby Walsh. Computational Intelligence, 14 (3), 430-451, 1998. 
  • Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study.

    • Jeremy Frank, Ian Gent, and Toby Walsh. Information Processing Letters, 66 (5), 241-245, 1998.
  • Random Constraint Satisfaction: Flaws and Structure

    • Ian Gent, Ewan MacIntyre, Patrick Prosser, Barbara Smith and Toby Walsh, under revision for Constraints.
  • The Constrainedness of Search

    • Ian Gent,  Patrick Prosser, and Toby Walsh, under review for Journal of the ACM.
     

    Refereed conferences

  • CSPLib: a benchmark library for constraints

    • Ian P. Gent and Toby Walsh. under review for CP-99.
  • Morphing: Combining Structure and Randomness

    • Ian P. Gent, Holger Hoos, Pat Prosser and Toby Walsh. Proceedings of AAAI-99. Note that this paper is copyright AAAI and placed on this web page with permission. 
  • Beyond NP: The QSAT Phase Transition

    • Ian P. Gent and Toby Walsh. Proceedings of AAAI-99. Note that this paper is copyright AAAI and placed on this web page with permission. 
  • Encodings of Non-binary Constraint Satisfaction Problems

    • Kostas Stergiou and Toby Walsh. Proceedings of AAAI-99. Note that this paper is copyright AAAI and placed on this web page with permission. 
  • Automatic Concept Formation in Pure Mathematics

    • Simon Colton, Alan Bundy and Toby Walsh. Proceedings of IJCAI-99. 
  • The Difference All-Difference Makes

    • Kostas Stergiou and Toby Walsh. Proceedings of IJCAI-99. 
  • Search in a Small World

    • Toby Walsh. Proceedings of IJCAI-99. 
  • The Dynamics of Dynamic Variable Ordering Heuristics

    • Pat Prosser. Proceedings of CP-98.
  • Random Constraint Satisfaction: Theory meets Practice

    • Ewan MacIntyre, Patrick Prosser, Barbara Smith, and Toby Walsh. April 1998. Proceedings of CP-98.
  • The Constrainedness Knife-Edge

    • Toby Walsh. Proceedings of AAAI-98. 
  • Interleaved and Discrepancy Based Search

    • Pedro Meseguer and Toby Walsh. Proceedings of ECAI-98.
  • The Constrainedness of Arc Consistency

    • Ian Gent, Ewan MacIntyre, Patrick Prosser, Paul Shaw, and Toby Walsh. January 1997. Proceedings of CP-97, pages 327-340. Springer. 
  • Depth-bounded Discrepancy Search

    • Toby Walsh. January 1997. Proceedings of IJCAI-97. 
  • From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules

    • Ian Gent and Toby Walsh. January 1997. Proceedings of IJCAI-97, pages 1396-1401. 
  • The Scaling of Search Cost 

    • Ian Gent, Ewan MacIntyre, Patrick Prosser, and Toby Walsh. January 1997. Proceedings of AAAI-97, pages 315-320. 
     

    Workshop papers

  • Arc Consistency and Quasigroup Completion

    • Paul Shaw, Kostas Stergiou, and Toby Walsh. April 1998. Proceedings of the ECAI-98 workshop on non-binary constraints.
  • Modelling the Golomb Ruler Problem

    • Barbara Smith, Kostas Stergiou, and Toby Walsh. April 1999. Proceedings of the IJCAI-99 workshop on non-binary constraints. 

     

    Maintained by Toby Walsh, APES Group, Department of Computer Science, University of Strathclyde.