http:^^www.cs.washington.edu^research^projects^weird^www^constraints.html

This data set contains WWW-pages collected from computer science departments of various universities

Conference, Cleveland, October 1989, pages 3-19.

<LI>Molly Wilson and Alan Borning, <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.washington.edu/research/projects/weird/www/jlp-93.html"> "Hierarchical
Constraint Logic Programming"</a>, The Journal of Logic Programming,
special issue on Constraint Logic Programming, Vol. 16 Nos. 3 & 4,
July-August 1993, pages 227-318.

<LI>Molly Ann Wilson, <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.washington.edu/research/projects/weird/www/wilson-phd.html"> "Hierarchical Constraint
Logic Programming"</a>, PhD dissertation, April 1993.

</UL>

<P>

<HR>

<h3>Constraint Solvers</h3>

<UL>

<LI>Michael Sannella, <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.washington.edu/research/projects/weird/www/skyblue-tr-92.html"> "The SkyBlue
Constraint Solver"</a>, UW tech report 92-07-02.

<LI>Michael Sannella, John Maloney, Bjorn Freeman-Benson, and Alan
Borning, <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.washington.edu/research/projects/weird/www/spe-deltablue-93.html"> "Multi-way versus One-way
Constraints in User Interfaces: Experience with the DeltaBlue
Algorithm"</a>, Software--Practice and Experience, Vol. 23 No. 5, (May
1993), pages 529-566.

<LI>Michael Sannella, <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.washington.edu/research/projects/weird/www/skyblue-ppcp-93.html"> "The Skyblue
Constraint Solver and Its Applications"</a>, Vijay Saraswat
and Pascal van Hentenryck, editors, Proceedings of the 1993 Workshop on
Principles and Practice of Constraint Programming, MIT Press, 1995, pages
385-406.

<LI><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.washington.edu/research/projects/weird/www/skyblue-cycles.html">Problem with SkyBlue and Cycles</a>.

<LI>Alan Borning and Bjorn N. Freeman-Benson, 
<!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.washington.edu/research/projects/weird/www/ultraviolet-cp-95.html"> "The OTI Constraint Solver: A Constraint
Library for Constructing Interactive Graphical User Interfaces"</a>, 
<em>Proceedings of the First International Conference on
Principles and Practice of Constraint Programming</em>, September 1995,
pages 624-628.

<LI>Alan Borning, Richard Anderson, and Bjorn Freeman-Benson, 
<!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.washington.edu/research/projects/weird/www/indigo-uist-96.html"> "Indigo: A Local Propagation Algorithm for
Inequality Constraints"</a>, <em>Proceedings of the 1996 ACM Symposium on
User Interface Software and Technology</em>, pages 129-136.  A companion
technical report, <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.washington.edu/research/projects/weird/www/indigo-tr.html"> "The Indigo Algorithm"</a>, UW
tech report 96-05-01, contains additional material (proofs of theorems and
definitions of interval operations).




</UL>

<P>

<HR>

<h3>Theory of Constraint Hierarchies</h3>

<UL>

<LI>Alan Borning, Bjorn Freeman-Benson, and Molly Wilson, 
<!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><a href="http://www.cs.washington.edu/research/projects/weird/www/hierarchies-92.html"> "Constraint Hierarchies"</a>,
Lisp and Symbolic Computation, Vol. 5 No. 3, (September 1992), pages
223-270.

</UL>

<P>

<HR>

<h3>Constraints and User Interfaces</h3>

<UL>

<LI>Bjorn Freeman-Benson, <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="http://www.cs.washington.edu/research/projects/weird/www/cooldraw-uist-93.html"> "Converting an
Existing User Interface to Use Constraints"</a>, <em>Proceedings of the
1993 ACM Symposium on User Interface Software and Technology</em>, Atlanta,
Georgia, November 1993, pages 207-215.

<LI>Michael Sannella and Alan Borning, <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><a href="http://www.cs.washington.edu/research/projects/weird/www/multi-garnet-92.html">
"Multi-Garnet: Integrating Multi-Way Constraints with Garnet"</a>, UW tech
report 92-07-01.

<LI>Michael Sannella, <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><a href="http://www.cs.washington.edu/research/projects/weird/www/debugging-ppcp-94.html"> "Analyzing and
Debugging Hierarchies of Multi-Way Local Propagation Constraints"</a>, in
Alan Borning (ed.), <em>Proceedings of the 1994 Workshop on Principles and
Practice of Constraint Programming</em>, Springer-Verlag, Lecture Notes in
Computer Science No. 874, pages 63-77.

<LI>Michael Sannella, <!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><a href="http://www.cs.washington.edu/research/projects/weird/www/sannella-phd.html"> "Constraint
Satisfaction and Debugging for Interactive User Interfaces"</a>, PhD
dissertation, August 1994.  Revised version published as UW Tech Report
94-09-10.

<LI>Michael Sannella, <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><a href="http://www.cs.washington.edu/research/projects/weird/www/skyblue-uist-94.html"> "SkyBlue: A
Multi-Way Local Propagation Constraint Solver for User Interface
Construction"</a>, in <em>Proceedings of the 1994 ACM Symposium on User
Interface Software and Technology</em>, pages 137-146.

</UL>

<hr>
<H2>Funding</H2>

This research is currently supported in part by two grants from the 
<!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><a href="http://www.nsf.gov">National Science Foundation</a>:
"Constraint-Based Languages and Environments for Building Interactive
Systems", Grant No. IRI-9302249, Interactive Systems Program, and
"Constraint Imperative Programming", Grant No. CCR-9402551, Programming
Languages and Compilers Program.  The work on constraint satisfaction
algorithms and libraries is supported in part by 
<!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><a href="http://www.oti.com">Object Technology International</a>.

<P>

<hr>
<H2>Other Resources</H2>

We also maintain an <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><a href="ftp://ftp.cs.washington.edu/pub/constraints">
anonymous ftp directory</a> at UW on
<code>//ftp.cs.washington.edu/pub/constraints</code>.  The 
<!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><a href="ftp://ftp.cs.washington.edu/pub/constraints/code"> code</a>
subdirectory contains source code for various constraint solvers and
systems, including DeltaBlue and SkyBlue.  All this code is public domain.
The <!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><a href="ftp://ftp.cs.washington.edu/pub/constraints/ppcp94">
ppcp94</a> subdirectory contains papers from the 1994 Principles and
Practice of Constraint Programming Workshop.  There is a
<!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><a href="ftp://ftp.cs.washington.edu/pub/constraints/papers">
papers</a> subdirectory with research papers (but all of the
papers are also listed in this WWW document, so don't bother).
Finally, there is a 
<!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><a href="ftp://ftp.cs.washington.edu/pub/constraints/drafts">
drafts</a> subdirectory, which sometimes contains preliminary drafts of
papers.

<p>

For more general information on constraints, and links to lots of
interesting stuff, see the <!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><a href="http://www.cirl.uoregon.edu/constraints">
Constraints Archive page</a>.

</BODY>

<hr>

<address>
[e-mail] <br>
</address>
</html>