Matthias Zwicker

ORCSolver：一个用于具有OR约束的自适应GUI布局的有效求解器

Jiang 等人提出ORCSolver，基于分支定界法与启发式预处理解决OR约束GUI布局，实现接近交互式的高效求解。