Practical methods of optimization; (2nd ed.)
Practical methods of optimization; (2nd ed.)
Lisp and Symbolic Computation
Incremental constraint deletion in systems of linear constraints
Information Processing Letters
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Automatic construction of intelligent diagram editors
Proceedings of the 11th annual ACM symposium on User interface software and technology
Locally Simultaneous Constraint Satisfaction
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
GD '96 Proceedings of the Symposium on Graph Drawing
Automatic construction of user interfaces from constraint multiset grammars
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Sketchpad: a man-machine graphical communication system
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
Structure, Abstraction, and Direct Manipulation in Diagram Editors
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Generating Diagram Editors with DiaGen
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Scalable Linear Constraint Solver for User Interface Construction
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Disjunctive Constraints for Interactive Graphical Applications
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Smooth Linear Approximation of Non-overlap Constraints
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
| Hi-index | 0.00 |
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.