Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning
Ian Miguel. PhD thesis. University of Edinburgh, 2001.

Solving single-track railway scheduling problems by constraint programming
Elias Oliveira. PhD thesis. University of Leeds, 2001.

Why Solutions Can Be Hard To Find
Josh Singer. PhD thesis, University of Edinburgh, Oct. 2001.

Representation and Reasoning with Non-Binary Constraints
Kostas Stergiou. PhD thesis, University of Strathclyde, Jan. 2001. (pdf, compressed postscript, uncompressed postscript)

Principles and Practice of Constraint Programming - CP 2001
Ed. Toby Walsh, Springer, LNCS 2239, 2001.

Frozen Development in Graph Colouring,
Joseph Culberson and Ian Gent, Theoretical Computer Science, vol. 265, pp. 227-264, 2001.

Constructing an Asymptotic Phase Transition in Random Binary Constraint Satisfaction Problems
Barbara M Smith, Theoretical Computer Science vol. 265, pp. 265-283 (Special Issue on NP-Hardness and Phase Transitions), 2001.
An earlier version is available online as Research Report 2000.02, January 2000. (Abstract)

Random Constraint Satisfaction: flaws and structures
I.P. Gent, E. MacIntyre, P. Prosser, B.M. Smith and T. Walsh, Journal of Constraints 6 (4), pp. 345-372, October 2001.

Conflict-directed backjumping revisited
Xinguang Chen and Peter van Beek. Journal of Artificial Intelligence Research, 14:53-81, 2001. (Abstract)

The Locomotion of a Six-Legged Walking Robot in Horizontal Cylindrical Pipes with Viscous Friction
Yu F. Golubev and Evgeny E. Selensky, Journal of Computer and Systems Sciences International, Volume 40, No. 2, pp. 349-356, 2001.

A Constraint Programming Pre-processor for a Bus Driver Scheduling System
Barbara Smith, Colin J Layfield and Anthony Wren. In Constraint Programming and Large Scale Discrete Optimization, E.C. Freuder and R.J. Wallace (eds.) DIMACS vol. 57, pp. 131-148, 2001.

Search on High Degree Graphs,
Toby Walsh, Proceedings of IJCAI-2001, 2001.

Backbones in Optimization and Approximation
John Slaney and Toby Walsh, Proceedings of IJCAI-2001, 2001.

A Constraint Programming Approach to the Stable Marriage Problem
Ian P. Gent, Robert W. Irving, David Manlove, Patrick Prosser and Barbara M. Smith. Principles and Practice of Constraint Programming - CP 2001, ed. Toby Walsh, Springer, LNCS 2239, pp. 225-239, 2001. (pdf, compressed postscript, uncompressed postscript)

Constraint Generation via Automated Theory Formation
Simon Colton and Ian Miguel, in Principles and Practice of Constraint Programming - CP 2001, ed. Toby Walsh, pp. 575-579, Springer, LNCS 2239, 2001.

Dual Models of Permutation Problems
Barbara M. Smith, in Principles and Practice of Constraint Programming - CP 2001, ed. Toby Walsh, pp. 615-619, Springer, LNCS 2239, 2001. (Abstract)

Constraint programming lessons learned from crossword puzzles
Adam Beacham, Xinguang Chen, Jonathan Sillito, and Peter van Beek. Proceedings of the 14th Canadian Conference on Artificial Intelligence, Ottawa, Ontario, 78-87, June, 2001. (Abstract)

Constraint-based vehicle assembly line sequencing
Michael E. Bergen, Peter van Beek, and Tom Carchrae. Proceedings of the 14th Canadian Conference on Artificial Intelligence, Ottawa, Ontario, 88-99, June, 2001. (Abstract)

Permutation Problems and Channelling Constraints,
Toby Walsh, Proceedings of LPAR-2001, 2001.

A Combined Constraint-Based Search Method for Single-Track Railway Scheduling
Elias Oliveira and Barbara M Smith. In Progress in Artificial Intelligence Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving (Proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPIA 2001) P. Brazdil and A. Jorge, eds. Springer, LNAI 2258, pp. 371-378, 2001.

Extensions to Proof Planning for Generating Implied Constraints
A. M. Frisch, I. Miguel, T. Walsh. Proceedings of Calculemus-01, pp. 130-141, 2001.

Reducing Symmetry in a Combinatorial Design Problem
Barbara M. Smith. Proceedings of CP-AI-OR'01, 3rd International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 351-359, April 2001. (Abstract)

Automatic Generation of Implied Constraints: Initial Progress
S. Colton, L. Drake, A. M. Frisch, I. Miguel and T. Walsh. Proceedings of the 8th Workshop on Automated Reasoning, pp17-18, 2001.

Modelling a Steel Mill Slab Design Problem
A. M. Frisch, I. Miguel, T. Walsh. Proceedings of the IJCAI-01 Workshop on Modelling and Solving Problems with Constraints, 2001.

Generating Implied Constraints via Proof Planning
A. M. Frisch, I. Miguel, T. Walsh. Proceedings of the IJCAR-01 Workshop on Future Directions in Automated Reasoning, 2001.