基于知识规则与几何推理的拆卸约束自动生成 Journal title: Science Paper Online Authors: Hongzhou Shen, Jingrong Li, Qinghui Wang Subject(s):