程，B.M.W。;Choi，K.M.F.先生。;J.H.M.李。;吴建中（Wu，J.C.K.）。 通过冗余建模增加约束传播：经验报告。 （英语） Zbl 0949.68605号 约束条件 4，第2期，167-192（1999）. 总结：本文描述了我们在约束求解过程中使用简单建模和编程方法增加约束传播量的经验。这个想法虽然类似于冗余约束，但基于冗余建模的概念。我们介绍了CSP模型和模型冗余的概念，并展示了如何使用通道约束来组合和连接相互冗余的模型。组合模型包含相互冗余的模型作为子模型。通过在子模型之间自由传播约束，通道约束允许子模型在约束求解期间进行合作。这种额外的修剪和繁殖活动成为了执行加速、真实护士排班系统的来源。我们进行了两个案例研究，以评估我们方法的有效性和效率。第一个案例研究基于简单而著名的皇后问题，而第二个案例研究将我们的方法应用于设计和构建一个真实的护士排班系统。实验结果提供了与我们预测相符的经验证据。 引用于12文件 MSC公司： 68宽10 计算机科学中的并行算法 关键词：约束求解过程 PDF格式BibTeX公司 XML格式引用 \textit{B.M.W.Cheng}等人，《限制条件4》，第2期，167--192（1999；Zbl 0949.68605） 全文： 内政部