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

Yue Jiang Wolfgang Stuerzlinger Matthias Zwicker Christof Lutteroth

Published in: CoRR (2020)

Keyphrases

data sets
graphical user interface
constraint solver
data mining
website
resource constraints
linear constraints
constraint solving