HiRise swMATH ID: 36184 Software Authors: Hiroshi Hosobe Description: 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. Homepage: https://link.springer.com/chapter/10.1007/3-540-45349-0_17 Related Software: QOCA; Cassowary; Skyblue; Matlab; linprog; Python; SUPPLE; Gild; Ibuild; Rockit; Druid; Bramble; FormsVBT; Peridot; Amulet; Lapidary; CVXGEN; qpOASES; z3; OSQP Cited in: 6 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A scalable linear constraint solver for user interface construction. Zbl 1044.68768Hosobe, Hiroshi 2000 all top 5 Cited by 14 Authors 3 Jamil, Noreen 2 Lutteroth, Christof 2 Naeem, M. Asif 2 Weber, Gerald 1 Baghaei, Nilufar 1 Chen, Xuemei 1 Cloninger, Alexander 1 Dooms, Gregoire 1 Hosobe, Hiroshi 1 Michel, Laurent 1 Mirza, Farhaan 1 Müller, Johannes 1 Strandh, Robert I. 1 Van Hentenryck, Pascal Cited in 2 Serials 3 Journal of Computational and Applied Mathematics 2 Constraints Cited in 3 Fields 4 Computer science (68-XX) 3 Numerical analysis (65-XX) 3 Operations research, mathematical programming (90-XX) Citations by Year