A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications

We propose a scalable algorithm called HiRise2 for incrementally solving soft linear constraints over real domains. It is based on a framework for soft constraints, known as constraint hierarchies, to allow effective modeling of user interface applications by using hierarchical preferences for constraints. HiRise2 introduces LU decompositions to improve the scalability of an incremental simplex method. Using this algorithm, we implemented a constraint solver. We also show the results of experiments on the performance of the solver.

[1]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[2]  Nilsen Kundakci.  Notebook Selection with the Combination of FAHP and PROMETHEE Methods , 2011, J. Multiple Valued Log. Soft Comput..

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

[4]  Hana Rudová,et al.  Constraints with Variables' Annotations and Constraint Hierarchies , 1998, SOFSEM.

[5]  Kim Marriott,et al.  A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications , 1998, CP.

[6]  Ivan E. Sutherland,et al.  Sketchpad: a man-machine graphical communication system , 1899, AFIPS '63 (Spring).

[7]  Gilles Trombettoni,et al.  Decomposition of Geometric Constraint Systems: a Survey , 2006, Int. J. Comput. Geom. Appl..

[8]  Hiroshi Hosobe.  A modular geometric constraint solver for user interface applications , 2001, UIST '01.

[9]  Kim Marriott,et al.  QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications , 2004, Constraints.

[10]  Greg J. Badros,et al.  On Finding Graphically Plausible Solutions to Constraint Hierarchies: The Split Stay Problem , 2000 .

[11]  Armin Wolf.  Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems , 1995, Over-Constrained Systems.

[12]  Hiroshi Hosobe,et al.  A Scalable Linear Constraint Solver for User Interface Construction , 2000, CP.

[13]  Bjørn N. Freeman-Benson,et al.  Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm , 1993, Softw. Pract. Exp..

[14]  Bjørn N. Freeman-Benson,et al.  Indigo: a local propagation algorithm for inequality constraints , 1996, UIST '96.

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

[16]  Peter J. Stuckey,et al.  The Cassowary linear arithmetic constraint solving algorithm , 2001, TCHI.

[17]  Kim Marriott,et al.  Dynamic approximation of complex graphical constraints by linear constraints , 2002, UIST '02.

[18]  John A. Tomlin,et al.  Updated triangular factors of the basis to maintain sparsity in the product form simplex method , 1972, Math. Program..

[19]  Peter J. Stuckey,et al.  Solving Disjunctive Constraints for Interactive Graphical Applications , 2001, CP.