A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications

We describe an object-oriented constraint solving toolkit, QOCA, designed for interactive graphical applications. It has a simple yet powerful interface based on the metric space model for constraint manipulation. Currently QOCA supports linear arithmetic constraints and two different metrics: the square of the Euclidean distance and the Manhattan distance. It provides three solvers, all of which rely on keeping the constraints in solved form and relies on novel algorithms for efficient resolving of constraints during direct manipulation. We provide a thorough empirical evaluation of QOCA, both of the interface design and the speed of constraint solving.

[1]  Satoshi Matsuoka,et al.  Locally Simultaneous Constraint Satisfaction , 1994, PPCP.

[2]  Kim Marriott,et al.  Automatic construction of intelligent diagram editors , 1998, UIST '98.

[3]  Bjørn N. Freeman-Benson,et al.  The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces , 1995, CP.

[4]  Kim Marriott,et al.  Automatic construction of user interfaces from constraint multiset grammars , 1995, Proceedings of Symposium on Visual Languages.

[5]  Kim Marriott,et al.  Constrained Graph Layout , 1996, Graph Drawing.

[6]  Kim Marriott,et al.  An Object-Oriented Architecture for Constraint-Based Graphical Editing , 1992, Workshops on Object-Oriented Graphics.

[7]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[8]  Alan Borning,et al.  Constraints for the web , 1997, MULTIMEDIA '97.

[9]  Kim Marriott,et al.  Incremental Constraint Deletion in Systems of Linear Constraints , 1995, Inf. Process. Lett..

[10]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[11]  R. Fletcher.  Practical Methods of Optimization , 1988 .

[12]  Alan Borning,et al.  Constraint hierarchies , 1992 .

[13]  Satoshi Matsuoka,et al.  Generalized Local Propagation: A Framework for Solving Constraint Hierarchies , 1996, CP.

[14]  Peter J. Stuckey,et al.  Solving linear arithmetic constraints for user interface applications , 1997, UIST '97.