(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