崔益烽 何健廉 刘大有 郭冬芬 刘英 钱彦岭 高飞 张居阳 朱丹 杨清宇 方瑾 倪中华 陈尚伟 常天庆 伊洪冰 陈忠保 李思昆 李文辉 白硕 刘文煌 李伟 刘杰 李瑜 高健 陈娟 王新颖 孟秀丽 贾海洋 慈元卓 白方周

定性空间推理 弧相容 约束求解 分治策略 区域连接演算 拓扑 协商 部署 约束分解 并行工程 计算复杂性 相变现象 时空GIS Singleton弧相容 一致性算法 约束传播 SAT问题 多元约束 最大度变量序 分布式约束满足问题 结合空间关系 动态约束 指令模板库 非二元CSP求解 正向检查 冲突检测 pre-弧相容 singleton弧相容 动态约束网络 冲突管理

定性空间推理