Stuart Grant is partly supported by a studentship from British Telecom plc.
References
P. Cheeseman, B. Kanefsky, and W. Taylor. Where the Really Hard Problems are. In Proceedings IJCAI-91, volume 1, pages 331–337, 1991.
J. M. Crawford and L. D. Auton. Experimental Results on the Crossover Point in Satisfiability Problems. Artificial Intelligence, 81:31–57, Apr. 1996. Special Issue on Frontiers in Problem Solving: Phase Transitions and Complexity.
S. A. Grant and B. M. Smith. The Arc and Path Consistency Phase Transitions. Research Report 96.09, School of Computer Studies, University of Leeds, Mar. 1996.
A. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99–118, 1977.
B. M. Smith and M. E. Dyer. Locating the Phase Transition in Constraint Satisfaction Problems. Artificial Intelligence, 81:155–181, Apr. 1996. Special issue on Frontiers in Problem Solving: Phase Transitions and Complexity.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grant, S.A., Smith, B.M. (1996). The arc and path consistency phase transitions. In: Freuder, E.C. (eds) Principles and Practice of Constraint Programming — CP96. CP 1996. Lecture Notes in Computer Science, vol 1118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61551-2_106
Download citation
DOI: https://doi.org/10.1007/3-540-61551-2_106
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61551-4
Online ISBN: 978-3-540-70620-5
eBook Packages: Springer Book Archive