李莹 孙吉贵 吕帅 吴瑕 张永刚 张长胜 高健

弧相容 pre-弧相容 弧相容技术 扩展规则 归结 完全独立相容性 多值传播 最先失败原则 可满足性问题 相容性技术 singleton弧相容 命题逻辑 定理机器证明 约束满足问题 启发式策略 预处理技术 约束传播 Singleton弧相容 分治策略

吉林大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验... 东北大学信息科学与技术学院 吉林长春 长春130012吉林大学符号计算与知识工...