摘要
CODD，E.F.1970。 大型共享数据库的数据关系模型。 Commun公司。 ACM 13,6（6月），377-387。 谷歌学者 
COHEN，D.、GYSSENS，M.和JEAVONS，P.，1996年。 约束和数据库关系的派生。 第二届约束编程国际会议论文集——CP’96（马萨诸塞州波士顿，8月）。 计算机科学课堂讲稿，1118。 Springer-Verlag，纽约，第134-148页。 谷歌学者 科恩，P.M.1965。 泛代数。 哈珀&； 罗，纽约。 谷歌学者 库珀，M.C.，科恩，D.A.和杰文斯，P.G.1994。 描述可控制约束的特征。 Artif公司。 第65页，第347-361页。 谷歌学者 DECHTER，R.1992年。 从本地到全球的一致性。 Artif公司。 国际55，87-107。 谷歌学者 DECHTER，R.和PEARL，J.1988年。 约束满足问题的基于网络的启发式算法。 Artif公司。 第34页，第1-38页。 谷歌学者 DECHTER，R.和PEARL，J.1992年。 关系数据中的结构标识。 Artif公司。 第58页，第237-270页。 谷歌学者 FEDER，f.和VARDI，M.，1993年。 单音单音SNP和约束满足。 第25届ACM计算机理论研讨会（STOC）会议记录（加州圣地亚哥，5月16-18日）。 ACM，纽约，第612-622页。 谷歌学者 弗洛德，E.C.1985。 回溯搜索的一个充分条件。 J.ACM 32，4（10月），755-761。 谷歌学者 FREUDER，E.C.1991年。 消除约束满足问题中的可互换值。 在AAAI-91会议记录中。 第227-233页。 谷歌学者 GAREY，M.R.和JOHNSON，D.S.1979。 计算机与不可纠正性：NP-完备性理论指南。 加利福尼亚州旧金山市弗里曼。 谷歌学者 GYSSENS，M.、JEAVONS，P.和COHEN，D.1994年。 使用数据库技术分解约束满足问题。 Artif公司。 国际66，57-89。 谷歌学者 JEAVONS，P.G.1995年。 可处理约束的代数特征。 技术代表CSD-TR-95-05。 英国伦敦大学皇家霍洛韦分校。 谷歌学者 JEAVONS，P.、COHEN，D.和GYSSENS，M.，1995年。 可处理约束的统一框架。 《第一届约束编程原理与实践国际会议论文集——CP’95》（法国卡西斯，9月）。 计算机科学讲义，第976卷。 Springer-Verlag，纽约，第276-291页。 谷歌学者 JEAVONS，P.、COHEN，D.和GYSSENS，M.，1996年。 可牵引性试验。 第二届约束编程国际会议论文集——CP’96（马萨诸塞州波士顿，8月）。 计算机科学讲义，第1118卷。 Springer-Verlag，纽约，第267-281页。 谷歌学者 JEAVONS，P.G.和COOPER，M.C.，1996年。 有序域上的可追踪约束。 Artif公司。 国际79，327-339。 谷歌学者 KmousIs，L.1993年。 快速并行约束满足。 Artif公司。 国际标准64147-160。 谷歌学者 LADKIN，P.B.和MADDUX，R.D.1994年。 关于二进制约束问题。 J.ACM 41，3（5月），435-469。 谷歌学者 MACHIDA，H.和ROSENBERG，I.G.1984年。 对基本上最小的克隆进行分类。 第14届多值逻辑国际研讨会论文集。 （温尼伯，1984年），第4-7页。 谷歌学者 麦克沃斯，又名1977年。 关系网络的一致性。 Artif公司。 国际8，99-118。 谷歌学者 MCKENZIE，R.N.、MCNULTY，G.F.和TAYLOR，W.F.1987年。 代数、格和簇。 第一卷加利福尼亚州沃兹沃斯和布鲁克斯。 谷歌学者 MONTANARI，U.1974年。 约束网络：图像处理的基本特性和应用。 信息科学。 7, 95-132. 谷歌学者 MONTANARI，U.和ROSSI，F.1991。 约束松弛可能是完美的。 Artif公司。 国际48，143-170。 谷歌学者 帕帕迪米特里奥，C.H.1994。 计算复杂性，Addison-Wesley，Reading，宾夕法尼亚州。 谷歌学者 罗森伯格，I.G.1986。 最小克隆I：五种类型。 在《普适代数讲座》（Proc.Conf.Szeged 1983）中，Colloq.Math。 Janos Bolyai出版社，第43卷。 荷兰阿姆斯特丹北荷兰，第405-427页。 谷歌学者 SCHAEFER，T.J.1978年。 可满足性问题的复杂性。 第十届ACM计算机理论研讨会论文集（加州圣地亚哥，5月1-3日）。 ACM，纽约，第216-226页。 谷歌学者 SZENDREI，A.1986年。 泛代数中的克隆。 加拿大魁北克省蒙特利尔市蒙特利尔大学高等数学学院99。 谷歌学者 范贝克，P.1992。 关于行凸约束网络的极小性和可分解性。 《第十届全国人工智能会议论文集》，AAAI-92。 麻省理工学院出版社，马萨诸塞州剑桥，第447-452页。 谷歌学者 AN HENTENRYCK，P.、DEVILLE，Y.和TENG，C-M.1992。 一种通用的弧一致性算法及其特化。 Artif公司。 第57页，第291-321页。 谷歌学者
建议
三元集上约束满足问题的二分法定理 约束满足问题（CSP）为许多组合问题提供了一个通用框架。 一般CSP是已知的NP-complete； 然而，对可能形式的约束的某些限制可能会影响复杂性并导致。。。
