摘要
利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。 2014.可通过局部一致性方法解决的约束满足问题。 J.ACM 61，1（2014），第3条。 谷歌学者 
数字图书馆 
Libor Barto、Marcin Kozik和Todd Niven。 2009年，CSP二分法适用于无源无汇的有向图（对Bang-Jensen和Hell猜想的肯定回答）。 SIAM J.计算。 38, 5 (2009), 1782--1802. 谷歌学者 数字图书馆 V.G.Bodnarčuk、L.A.Kaluínin、V.N.Kotov和B.A.Romov。 1969.后代数的伽罗瓦理论。 I.控制论系统。 分析。 5, 3 (1969), 243--252. 谷歌学者 交叉引用 
斯蒂芬·博伊德和利文·范登伯格。 2004.凸优化。 剑桥大学出版社。 谷歌学者 数字图书馆 安德烈·布拉托夫。 关系结构和约束满足问题的图表。 第19届IEEE计算机科学逻辑研讨会论文集（LICS’04）。 IEEE计算机学会，448--457。 谷歌学者 数字图书馆 安德烈·布拉托夫。 三元集上约束满足问题的二分法定理。 《美国医学会期刊》53，1（2006），66-120。 谷歌学者 数字图书馆 安德烈·布拉托夫、安德烈·克罗金和彼得·杰文斯。 2005.使用有限代数对约束的复杂性进行分类。 SIAM J.计算。 34, 3 (2005), 720--742. 谷歌学者 数字图书馆 安德烈·布拉托夫。 2011.保守约束满足问题的复杂性。 ACM事务处理。 计算。 逻辑12，4（2011）。 第24条。 谷歌学者 数字图书馆 安德烈·布拉托夫、安德烈·克罗金和彼得·杰文斯。 2001.最大约束语言的复杂性。 第33届ACM计算机理论研讨会论文集（STOC'01）。 667--674. 谷歌学者 数字图书馆 David A.Cohen、Martin C.Cooper、PáidíCreed、Peter Jeavons和Stanislavživný。 2013.离散优化的复杂性代数理论。 SIAM J.计算。 42, 5 (2013), 915--1939. 谷歌学者 数字图书馆 David A.Cohen、Martin C.Cooper、Peter G.Jeavons和Andrei A.Krokhin。 2006.软约束满足的复杂性。 人工。 智力。 170, 11 (2006), 983--1016. 谷歌学者 数字图书馆 Tomás Feder和Moshe Y.Vardi。 1998。单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究。 SIAM J.计算。 28, 1 (1998), 57--104. 谷歌学者 数字图书馆 彼得·富拉和斯坦尼斯拉夫·伊文。 2015.无限大小的有值约束语言的Galois连接。 《第42届自动机、语言和程序设计国际学术讨论会论文集》（ICALP'15）（计算机科学讲义），第9134卷。 施普林格，517-528。 谷歌学者 交叉引用 大卫·盖革。 1968.函数和谓词的封闭系统。 太平洋数学杂志。 27, 1 (1968), 95--100. 谷歌学者 交叉引用 帕沃尔·赫尔和雅罗斯拉夫·内什等人。 1990年，《关于H-染色的复杂性》，J.Combin理论Ser。 B 48，1（1990），92--110。 谷歌学者 数字图书馆 帕沃尔·赫尔和雅罗斯拉夫·内什等人。 2008.着色、约束满意度和复杂性。 计算。 科学。 第2版，第3版（2008年），第143-163页。 谷歌学者 数字图书馆 Jean-Baptise Hiriart-Urruti和Claude Lemaréchal。 2001.凸分析基础。 柏林施普林格。 谷歌学者 彼得·杰文斯、安德烈·克罗金和斯坦尼斯拉夫·伊文。 2014.价值约束满足的复杂性。 牛。 欧洲协会。 计算。 科学。 （EATCS）113（2014），21-55。 谷歌学者 Peter G.Jeavons、David A.Cohen和Marc Gyssens。 1997.约束的闭包属性。 《美国医学会期刊》44，4（1997），527--548。 谷歌学者 数字图书馆 弗拉基米尔·科尔莫戈罗夫（Vladimir Kolmogorov）、安德烈·克罗金（Andrei A.Krokhin）和米查尔·罗利内克（Michal Rolínek）。 2015年a月。 一般值CSP的复杂性。 技术报告。 arXiv:1502.07327。 谷歌学者 弗拉基米尔·科尔莫戈罗夫、约翰·塔珀和斯坦尼斯拉夫·伊文。 2015年b。 一般值CSP的线性规划的幂。 SIAM J.计算。 44, 1 (2015), 1--36. 谷歌学者 数字图书馆 弗拉基米尔·科尔莫戈罗夫和斯坦尼斯拉夫·伊文。 2013.保守价值顾客服务提供商的复杂性。 J.ACM 60，2（2013）。 第10条。 谷歌学者 数字图书馆 马克津·科齐克和乔安娜·奥奇里米亚克。 2015.值约束满足问题的代数性质。 《第42届自动机、语言和程序设计国际学术讨论会论文集》（ICALP'15）（计算机科学讲义），第9134卷。 施普林格，846--858。 谷歌学者 交叉引用 托马斯·谢弗（Thomas J.Schaefer）。 1978年，可满足性问题的复杂性。 在第十届ACM计算机理论研讨会（STOC'78）的会议记录中。 ACM，216-226。 谷歌学者 数字图书馆 约翰·塔珀。 2010年，约束优化问题的几个方面。 博士论文。 林雪平大学计算机科学和信息科学系。 谷歌学者 约翰·塔珀和斯坦尼斯拉夫·伊文。 2012.线性规划对有价值顾客服务提供商的影响。 第53届IEEE计算机科学基础年会（FOCS’12）论文集。 IEEE，669--678。 谷歌学者 数字图书馆 约翰·塔珀和斯坦尼斯拉夫·伊文。 2015年a月。 值约束语言可处理性的必要条件。 SIAM J.离散数学。 29, 4 (2015), 2361--2384. 谷歌学者 交叉引用 约翰·塔珀和斯坦尼斯拉夫·伊文。 2015年b。 有限值CSP的复杂性。 J.ACM（2015）。 出现。 谷歌学者 约翰·塔珀和斯坦尼斯拉夫·伊文。 2015年c。 Sherali-Adams对有价值的顾客服务提供商的放松作用。 (2015). 已提交发布。 谷歌学者 约翰·塔珀和斯坦尼斯拉夫·伊文。 2015年d。 Sherali为有价值的顾客服务提供商提供放松服务。 在第42届自动机、语言和程序设计国际学术讨论会论文集（ICALP'15）（计算机科学讲义）。 斯普林格。 谷歌学者 交叉引用 汉内斯·厄普曼（Hannes Uppman）。 2013年，三元素Min-Sol和保守Min-Cost-Hom的复杂性。 第40届国际自动化、语言和编程学术讨论会（ICALP’13）会议记录（计算机科学讲稿），第7965卷。 施普林格，804--815。 谷歌学者 数字图书馆 安德烈乌斯·瓦塞纳维奇乌斯。 2014.加权克隆研究。 硕士论文。 牛津大学数学研究所。 谷歌学者 JiříVančura。 2014.加权克隆。 硕士论文。 查尔斯大学代数系。 谷歌学者 斯坦尼斯拉夫·伊文。 2012.有价值约束满足问题的复杂性。 斯普林格。 谷歌学者 数字图书馆
建议
公理聚合中的Galois连接 ICFCA’11：第九届形式概念分析国际会议记录 我们一方面研究了Galois连接和相关类型映射之间的关系，另一方面研究格中聚合（或一致）问题的公理化Arrowian方法。 在后者中，一个人想要“聚合”。。。 L-拓扑空间范畴之间的Galois连接 两个具体范畴A和B之间的伽罗瓦联系是一对具体函子F:A@？ B、 G:B@？ 这样，{id“Y:FG（Y）@？Y|Y@？B}是函子F@？G到B上恒等函子的自然变换，{id”X:X@？GF（X）|X@？A}是一个自然。。。 Galois连接和数据分析 并发规范和编程（CS&P 2003） 我们研究了伽罗瓦联系及其与（定性）数据分析主要理论的关系：粗糙集理论（RST）、形式概念分析（FCA）和约翰·斯图亚特·密尔推理（JSM-Reasoning）。 极性，一种反变伽罗瓦。。。
