|
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.
|