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

Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems (CHI 2020), Honolulu, HI.

Download Video(MP4, 57.7 MB)

Download Video(MP4, 71.3 MB)

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.

Resources and Downloads


Citation

BibTeX, 1 KB

@inproceedings{jiang2020orcsolver,
    author = {Jiang, Yue and Stuerzlinger, Wolfgang and Zwicker, Matthias and Lutteroth, Christof},
    title = {ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints},
    year = {2020},
    isbn = {9781450367080},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3313831.3376610},
    doi = {10.1145/3313831.3376610},
    booktitle = {Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems},
    pages = {1–14},
    numpages = {14},
    keywords = {gui builder, constraint-based layout, visual interface design, visual programming, layout manager, optimization},
    location = {Honolulu, HI, USA},
    series = {CHI ’20}
}

Contact

For questions and clarifications, please get in touch with:
Yue Jiang yuejiang@cs.umd.edu

Template from GVV Group at MPI.