English

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

Human-Computer Interaction 2022-02-23 v1 Artificial Intelligence Data Structures and Algorithms Programming Languages Software Engineering

Abstract

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.

Cite

@article{arxiv.2002.09925,
  title  = {ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints},
  author = {Yue Jiang and Wolfgang Stuerzlinger and Matthias Zwicker and Christof Lutteroth},
  journal= {arXiv preprint arXiv:2002.09925},
  year   = {2022}
}

Comments

Published at CHI2020

R2 v1 2026-06-23T13:50:51.261Z