DeepAI AI Chat
Log In Sign Up

ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints

by   Yue Jiang, et al.

OR-constrained (ORC) graphical user interface layouts unify conventional constraint-based layouts with flow layouts, which enables the definition of flexible layouts that adapt to screens with different sizes, orientations, or aspect ratios with only a single layout specification. Unfortunately, solving ORC layouts with current solvers is time-consuming and the needed time increases exponentially with the number of widgets and constraints. To address this challenge, we propose ORCSolver, a novel solving technique for adaptive ORC layouts, based on a branch-and-bound approach with heuristic preprocessing. We demonstrate that ORCSolver simplifies ORC specifications at runtime and our approach can solve ORC layout specifications efficiently at near-interactive rates.


page 1

page 7

page 9

page 10


ORC Layout: Adaptive GUI Layout with OR-Constraints

We propose a novel approach for constraint-based graphical user interfac...

Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy

Many computer programs have graphical user interfaces (GUIs), which need...

Constraint Solvers for User Interface Layout

Constraints have played an important role in the construction of GUIs, w...

Computational Network Design from Functional Specifications

Connectivity and layout of underlying networks largely determine the beh...

Aspect Ratio Universal Rectangular Layouts

A generic rectangular layout (for short, layout) is a subdivision of an ...

Lay-it-out: Interactive Design of Layout-Sensitive Grammars

Layout-sensitive grammars have been adopted in many modern programming l...

GPU-accelerated Matrix Cover Algorithm for Multiple Patterning Layout Decomposition

Multiple patterning lithography (MPL) is regarded as one of the most pro...