一种几何约束系统分解算法 (2000年)

为提高变量化设计效率和数值稳定性,提出了一种结合剪枝操作和归约操作的几何约束系统分解算法：剪枝－归约算法。该算法能够处理完备约束、过约束以及欠约束情况下几何约束系统的分解问题。同时讨论了在欠约束条件下如何获得符合设计意图的分解方案的问题。