http:^^www.cs.washington.edu^research^projects^weird^www^skyblue-ppcp-93.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 59 行
HTML
59 行
Date: Tue, 10 Dec 1996 03:25:53 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><TITLE>The SkyBlue Constraint Solver and Its Applications</title></head><body><H2>The SkyBlue Constraint Solver and Its Applications</H2><p>Author: Michael Sannella<p>To appear in Vijay Saraswat and Pascal van Hentenryck (eds),<em>Proceedings of the 1993 Workshop on Principles and Practice ofConstraint Programming</em>, MIT Press, 1994. <P><hr><H3>Abstract</H3>The SkyBlue constraint solver uses multi-way local propagation toefficiently maintain constraints organized in a constraint hierarchy. Asindividual constraints are added and removed, SkyBlue executes<em>method</em> procedures associated with each constraint to incrementallyresatisfy the constraints. SkyBlue is a successor to the DeltaBluealgorithm, which has two significant limitations: cycles of constraints areprohibited, and constraint methods can only have a single output variable.SkyBlue relaxes these restrictions, satisfying cycles of constraints bycalling external solvers and supporting multi-output methods.<P>This paper compares SkyBlue to other constraint solvers, describes theSkyBlue algorithm and discusses several applications that have been builtusing SkyBlue. The SkyBlue algorithm description introduces several newconcepts including <em>method vines</em> (used to select which methods toexecute) and <em>walkbounds</em> (a generalization of DeltaBlue's<em>walkabout strengths</em>).<P><HR><P>Click <!WA0><a href="ftp://cs.washington.edu/pub/constraints/papers/skyblue-ppcp-93.ps.Z">here</a> to get the postscript file.<P>Return to <!WA1><a href="http://www.cs.washington.edu/research/projects/weird/www/index.html">Constraints home page</a>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?