See this document in CiteSeerX!

The SkyBlue Constraint Solver (1992)  (Make Corrections)  (8 citations)
Michael Sannella



  Home/Search   Context   Related

 
View or download:
washington.edu/tr/...CSE920702.PS.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  washington.edu (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: A constraint describes a relationship that should be maintained, for example that the equality A + B = C holds between three variables, that a set of displayed objects are aligned, or that the elements in a data structure are consistent with a graphic display of this structure. Constraint solvers have been successfully applied to problems in computer graphics including geometric design and user interface construction. This paper presents the SkyBlue constraint solver, an efficient incremental... (Update)

Context of citations to this paper:   More

...and weak. The constraint system is solved by satisfying only the constraint v 2 = 1. The existing solvers (Blue, DeltaBlue, SkyBlue [6, 7, 8]) for over constrained systems, are based on local criteria: valuation comparison. According to these local criteria, many valuations...

...needed to update the history of variables and to execute reactions and daemons. The constraint solver used in VB2 is based on the SkyBlue [32] local propagation algorithm, a successor of DeltaBlue [11] able to handle hierarchical constraints composed of methods having multiple...

Cited by:   More
Vb2 An Architecture For Interaction In Synthetic Worlds - Gobbetti, Balaguer, Thalmann (1993)   (Correct)
Object-Oriented 3D Modeling, Animation and Interaction - Döllner, Hinrichs (1997)   (Correct)
Floor Control in Synchronous Groupware - Boyd, Jr.   (Correct)

Similar documents (at the sentence level):
20.1%:   The SkyBlue Constraint Solver and Its Applications - Sannella (1993)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Multi-way versus One-way Constraints in User.. - Sannella.. (1993)   (Correct)
0.3:   Integrating Pointer Variables into One-Way Constraint Models - Brad Vander Zanden (1994)   (Correct)
0.3:   Integrating Constraints with an Object-Oriented Language - Freeman-Benson, Borning (1992)   (Correct)

Similar documents based on text:   More   All
0.5:   The DeltaUp Constraint Solver: Correctness Proof - SUZUKI, TOKUDA (2001)   (Correct)
0.5:   SkyBlue: A Multi-Way Local Propagation Constraint Solver for.. - Sannella (1994)   (Correct)
0.3:   Analyzing and Debugging Hierarchies of Multi-Way Local.. - Michael Sannella (1994)   (Correct)

Related documents from co-citation:   More   All
5:   Constraint Hierarchies - Borning, Duisberg et al.
4:   Constraint Technology for User-Interface Construction in ThingLab II (context) - Maloney, Borning et al. - 1989
4:   Multi-Garnet: Integrating MultiWay Constraints with Garnet - Sannella, Borning - 1992

BibTeX entry:   (Update)

Michael Sannella. The SkyBlue constraint solver. Technical Report 92-07-02, University of Washington Department of Computer Science, 1992. Available at http://www.cs.washington.edu/research/constraints. 14 Anonymous http://citeseer.ist.psu.edu/sannella92skyblue.html   More

@techreport{ sannella93skyblue,
    author = "M. Sannella",
    title = "The skyblue constraint solver",
    number = "92-07-01",
    year = "1993",
    url = "citeseer.ist.psu.edu/sannella92skyblue.html" }
Citations (may not include all citations):
149   Composing User Interfaces with InterViews - Linton, Vlissides et al. - 1989
100   An Incremental Constraint Solver (context) - Freeman-Benson, Maloney et al. - 1990
96   Lisp and Symbolic Computation (context) - Borning, Freeman-Benson et al. - 1992
77   Variational Surface Modeling - Welch, Witkin - 1992
76   Multi-way versus One-way Constraints in User Interfaces: Exp.. - Sannella, Maloney et al. - 1992
32   Incremental Attribute Evaluation: A Flexible Algorithm for L.. (context) - Hudson - 1991
28   An Object-Oriented Approach to Graphical Interfaces (context) - Barth - 1986
27   Constraint Management in Conceptual Design (context) - Serrano, Gossard - 1987
26   Using Constraints for User Interface Construction (context) - Maloney - 1991
24   Multi-Garnet: Integrating Multi-Way Constraints with Garnet - Sannella, Borning - 1992
21   The Importance of Pointer Variables in Constraint Models (context) - Zanden, Myers et al. - 1991
20   Highly-Interactive User Interfaces: The Garnet User Interfac.. (context) - Myers, Guise et al. - 1990
18   Constraint Programming and Graph Algorithms (context) - Gangnet, Rosenberg - 1992
11   Real-Time Self-Explanatory Simulation - Amador, Finkelstein et al.
11   Languages for the Construction of Multi-User Multi-Media Syn.. (context) - Hill - 1992
11   A Constraint Imperative Programming Language (context) - Freeman-Benson, Borning et al. - 1992
9   LaLonde and John R (context) - Wilf - 1991
7   A Module Compiler for ThingLab II (context) - Freeman-Benson - 1989
5   A Domain-Independent Algorithm for Incrementally Satisfying .. (context) - Zanden - 1992



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.washington.edu.html):   More
Mobisaic - Voelker, Bershad (1995)   (Correct)
Time-Space Tradeoffs for Undirected Graph Traversal - Beame, Borodin, Raghavan.. (1993)   (Correct)
Automatic SAT-Compilation of Planning Problems - Ernst, Millstein, Weld (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC