克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;克孜尔坦、泽内普;托比·沃尔什 其中，常见约束和不相交约束。 （英语） Zbl 1180.68244号 Hnich，Brahim（编辑）等人，《约束的最新进展》。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会，CSCLP 2005，乌普萨拉，瑞典，2005年6月20-22日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-34215-X/pbk）。计算机科学课堂讲稿3978。人工智能课堂讲稿，29-43（2006）。 总结：在…之间,普通和脱节全局约束在涉及资源的问题建模中有用。我们研究了这些约束在整数和集合变量上的一些变化。我们展示了如何使用计算复杂性来确定达到最高级别的一致性是否容易处理。对于可处理的约束，我们提出了一种多项式传播算法，并将其与逻辑分解的约束传播量进行了比较。对于难以处理的情况，我们证明在许多情况下，传播算法可以从类似的易于处理的传播算法中进行调整。关于整个系列，请参见[兹比尔1102.68007]. 引用于5文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人，Lect。注释计算。科学。3978、29-43（2006年；Zbl 1180.68244） 全文： DOI程序