http://www.cs.washington.edu/research/projects/weird/www/skyblue-ppcp-93.html
Author: Michael Sannella
To appear in Vijay Saraswat and Pascal van Hentenryck (eds), Proceedings of the 1993 Workshop on Principles and Practice of Constraint Programming, MIT Press, 1994.
This paper compares SkyBlue to other constraint solvers, describes the SkyBlue algorithm and discusses several applications that have been built using SkyBlue. The SkyBlue algorithm description introduces several new concepts including method vines (used to select which methods to execute) and walkbounds (a generalization of DeltaBlue's walkabout strengths).
Click here to get the postscript file.
Return to Constraints home page