SkyBlue: A multi-way local propagation constraint solver for user interface construction

Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, UIST 1994

Volumn , Issue , 1994, Pages 137-146

  Sannella, Michael ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Constraint hierarchies; Constraints; Local propagation; Skyblue; User interface implementation

Indexed keywords

BENCHMARKING; LOGIC PROGRAMMING;

CONSTRAINT HIERARCHY; CONSTRAINT SOLVERS; CONSTRAINTS; GEOMETRIC RELATIONSHIPS; INTERFACE APPLICATIONS; LOCAL PROPAGATION; SKYBLUE; USER INTERFACE TOOLKIT;

USER INTERFACES;

EID: 84946038577     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/192426.192485     Document Type: Conference Paper

References (15)

1. Franz G. Amador, Adam Finkelstein, and Daniel S. Weld. Real-Time Self-Explanatory Simulation. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 562-567. AAAI Press/The MIT Press, July 1993.
2. Alan Borning, Bjorn Freeman-Benson, and Molly Wilson. Constraint Hierarchies. Lisp and Symbolic Computation, 5(3):223-270, September 1992.
3. Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi. TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applica-tions. In SIGGRAPH '94 Conference Proceedings, pages 421-434, Orlando, Florida, July 1994. ACM. Also in Computer Graphics 28(2), July 1994.
4. Bjorn Freeman-Benson. Constraint Imperative Pro-gramming. PhD thesis, University of Washington, Department of Computer Science and Engineering, July 1991. Published as UW CSE Technical Report 91-07-02.
5. Bjorn Freeman-Benson. Converting an Existing User Interface to Use Constraints. In Proceedings of the ACM SIGGRAPH Symposium on User Inter-face Software and Technology, pages 207-215, At-lanta, Georgia, November 1993.
6. Bjorn Freeman-Benson, John Maloney, and Alan Borning. An Incremental Constraint Solver. Com-munications of the ACM, 33(1):54-63, January 1990.
7. Enrico Gobbetti and Jean-Francis Balaguer. VB2: An Architecture for Interaction in Synthetic Worlds. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Tech-nology, pages 167-178, Atlanta, Georgia, November 1993.
8. Ralph D. Hill, Tom Brinck, Steven L. Rohall, John F. Patterson, and Wayne Wilner. The Ren-dezvous Architecture and Language for Construct-ing Multi-User Applications. ACM Transactions on Computer-Human Interaction, 1(2), 1994. To appear.
9. John Maloney. Using Constraints for User In-terface Construction. PhD thesis, Department of Computer Science and Engineering, University of Washington, August 1991. Published as UW CSE Technical Report 91-08-12.
10. Brad A. Myers, Dario A. Giuse, Roger B. Dan- nenberg, Brad Vander Zanden, David S. Kosbie, Ed Pervin, Andrew Mickish, and Philippe Mar- chal. Garnet: Comprehensive Support for Graphi-cal, Highly-Interactive User Interfaces. IEEE Com-puter, 23(11):71-85, November 1990.
11. Michael Sannella. Analyzing and Debugging Hi-erarchies of Multi-way Local Propagation Con-straints. In Borning, editor, Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming. Springer-Verlag, 1994. To appear.
12. Michael Sannella. Constraint Satisfaction and De-bugging for Interactive User Interfaces. PhD thesis, Department of Computer Science and Engineering, University of Washington, 1994.
13. Michael Sannella. The SkyBlue Constraint Solver and Its Applications. In Saraswat and van Hen- Tenryck, editors, Proceedings of the 1993 Workshop on Principles and Practice of Constraint Program-ming. MIT Press, 1994. To appear.
14. Michael Sannella and Alan Borning. Multi-Garnet: Integrating Multi-Way Constraints with Garnet. Technical Report 92-07-01, Department of Com-puter Science and Engineering, University of Wash-ington, September 1992.
15. Michael Sannella, John Maloney, Bjorn Freeman- Benson, and Alan Borning. Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm. Software-Practice and Experience, 23(5):529-566, May 1993.