A Scalable Linear Constraint Solver for User Interface Construction. 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.
Keywords for this software
References in zbMATH (referenced in 7 articles , 1 standard article )
Showing results 1 to 7 of 7.
- Yue Jiang, Wolfgang Stuerzlinger, Matthias Zwicker, Christof Lutteroth: ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints (2020) arXiv
- Jamil, Noreen; Mirza, Farhaan; Naeem, M. Asif; Baghaei, Nilufar: A refinement of an iterative orthogonal projection method (2018)
- Jamil, Noreen; Müller, Johannes; Naeem, M. Asif; Lutteroth, Christof; Weber, Gerald: Extending linear relaxation for non-square matrices and soft constraints (2016)
- Jamil, Noreen; Chen, Xuemei; Cloninger, Alexander: Hildreth’s algorithm with applications to soft constraints for user interface layout (2015)
- Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent: Model-driven visualizations of constraint-based local search (2009)
- Lutteroth, Christof; Strandh, Robert; Weber, Gerald: Domain specific high-level constraints for user interface layout (2008)
- Hosobe, Hiroshi: A scalable linear constraint solver for user interface construction (2000)