论文部分内容阅读
该文首先概述了约束求解平台的主要思想-约束和程序设计方法,并着重给出了其分支约束满足问题的概念及求解技术.通过分析传统的二元约束满足问题求解方法的不足,提出了非二元约束满足问题的解法,约束传播技术和一般弧相容回溯方法.该文还介绍了约束求解平台"明月1.0"的设计,并且结合实例简述了离散论域上的约束求解系统的实现,给出了一些典型问题的实验结果,运行效果良好.