论文标题
orcsolver：具有或构造的自适应GUI布局的有效求解器
ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints
论文作者
论文摘要
OR-LEACH（ORC）图形用户界面布局将基于流程布局的常规约束布局统一，该布局可以定义适应具有不同尺寸，方向或仅具有单个布局规范的屏幕的灵活布局。不幸的是，使用当前求解器的求解兽人布局很耗时，并且所需的时间随着小部件和约束的数量而成倍增加。为了应对这一挑战，我们提出了Orcsolver，这是一种基于启发式预处理的分支和结合方法，是一种新型的自适应兽人布局的解决方案。我们证明，Orcsolver在运行时简化了ORC规格，我们的方法可以以近乎相互作用的速率有效地解决ORC布局规格。
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.
