上海交大博士论文: 几何约束满足问题的求解部分