Numerical recipes in C: the art of scientific computing
Numerical recipes in C: the art of scientific computing
An incremental constraint solver
Communications of the ACM
Lisp and Symbolic Computation
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th 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
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
This paper proposes an algorithm for satisfying systems of linear equality and inequality constraints with hierarchical strengths or preferences. Basically, it is a numerical method that incrementally obtains the LU decompositions of linear constraint systems. To realize this, it introduces a novel technique for analyzing hierarchical systems of linear constraints. In addition, it improves performance by adopting techniques that utilize the sparsity and disjointness of constraint systems. Based on this algorithm, the HiRise constraint solver has been designed and implemented for the use of constructing interactive graphical user interfaces. This paper shows that HiRise is scalable up to thousands of simultaneous constraints in real-time execution.