University of Alberta University College, Cork Glasgow University Huddersfield University Leeds University University of St Andrews University of Strathclyde University of Waterloo University of York
1997 APES Publications

 
HOME
INFORMATION
MEMBERS
ALUMNI
RESEARCH
PUBLICATIONS
REPORTS
EVENTS
RESOURCES

 

 

Phase Transition Behaviour in Constraint Satisfaction Problems
Stuart Grant. PhD thesis, University of Leeds, October 1997. (pdf, compressed postscript, uncompressed postscript)

Abstract proof checking: an example motivated by an incompleteness theorem
Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita and Toby Walsh. Journal of Automated Reasoning, 19 (3), 319-346, 1997.

The Logic of Search Algorithms: Theory and Applications 
Ian Gent and Judith Underwood. Principles and Practice of Constraint Programming - CP-97, pages 77-91. Springer, LNCS 1330, 1997. (The Scheme code from the Appendix of the paper is here.)

The Constrainedness of Arc Consistency
Ian Gent, Ewan MacIntyre, Patrick Prosser, Paul Shaw, and Toby Walsh. Principles and Practice of Constraint Programming - CP-97, pages 327-340. Springer, LNCS 1330, 1997. (presentation slides

Modelling Exceptionally Hard Constraint Satisfaction Problems
Stuart A Grant and Barbara M Smith. Principles and Practice of Constraint Programming - CP-97, pp. 182-195. Springer, LNCS 1330, 1997.

Depth-bounded Discrepancy Search
Toby Walsh. Proceedings of IJCAI-97. Please note that this paper is copyright of IJCAI.

From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules
Ian Gent and Toby Walsh. Proceedings of IJCAI-97, pages 1396-1401. Please note that this paper is copyright of IJCAI.

The Scaling of Search Cost 
Ian Gent, Ewan MacIntyre, Patrick Prosser, and Toby Walsh. Proceedings of AAAI-97, pages 315-320. Please note that this paper is copyright of AAAI.

Guided Local Search for the Vehicle Routing Problem
Philip Kilby, Patrick Prosser, and Paul Shaw. Proceedings, 2nd International Conference on Metaheuristics - MIC97. July 1997. 

Constraint Programming Approaches to a Scheduling Problem in Steelmaking
Alan W. Smith and Barbara M. Smith, Research Report 97.43, September 1997. (Presented at the CP97 Workshop on Industrial Constraint-Directed Scheduling, Schloss Hagenberg, Austria, November 1997) (Abstract)

How Not To Do It
Ian P Gent, Stuart A Grant, Ewan MacIntyre, Patrick Prosser, Paul Shaw, Barbara M Smith and Toby Walsh. Research Report 97.27, School of Computer Studies, University of Leeds. May 1997. 


 
 
 
CONTACT US



apes-request@dcs.st-and.ac.uk

 

 

 

 

Last updated December 2002