ORCSolver：一个有效的自适应GUI布局求解器
ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints
摘要：
OR约束（ORC）图形用户界面布局将传统的基于约束的布局与流布局统一起来，这使得能够仅用单个布局规范来定义适应具有不同尺寸、取向或纵横比的屏幕的灵活布局。不幸的是，使用当前的求解器求解ORC布局是耗时的，并且所需的时间随着小部件和约束的数量呈指数级增加。为了解决这一挑战，我们提出了ORCSolver，一种新的解决技术，自适应ORC布局，基于启发式预处理的分支定界方法。我们证明，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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
