摘要
Arora，S.和Barak，B.，2009年。 计算复杂性：一种现代方法 剑桥大学出版社。 谷歌学者 
数字图书馆 
Arora，S.、Barak，B.和Steurer，D.，2010年。 独特游戏和相关问题的次指数算法。 在 第51届计算机科学基础研讨会（FOCS’10）论文集 . 563--572. 谷歌学者 数字图书馆 Barto，L.和Kozik，M.，2009年。 有界宽度的约束满足问题。 在 第50届计算机科学基础研讨会论文集（FOCS’09） . 595--603. 谷歌学者 数字图书馆 Barto，L.和Kozik，M.，2012年。 约束满足问题的鲁棒可满足性。 在 第44届计算机理论研讨会（STOC'12）会议记录 . 19--22. 谷歌学者 数字图书馆 Barto，L.、Kozik，M.和Willard，R.，2012年。 几乎一致性约束具有有界路径宽度对偶性。 在 第27届IEEE/ACM计算机科学逻辑年度研讨会论文集（LICS’12） . 125--134. 谷歌学者 数字图书馆 Bodnarchuk，V.G.，Kaluzhnin，L.A.，Kotov，V.N.，and Romov，B.A.1969年。 后代数的伽罗瓦理论，i。 Kibernetika 3号机组 , 1--10. 谷歌学者 Bulatov，A.2006年。 三元集上约束满足问题的二分法定理。 美国医学会期刊53 , 1, 66--120. 谷歌学者 数字图书馆 Bulatov，A.2009年。 有界关系宽度。 网址：http://www.cs.sfu.ca/ ~abulatov/papers/relwidth.pdf。 谷歌学者 Bulatov，A.2011年。 保守约束满足问题的复杂性。 ACM事务处理。 计算。 逻辑12 , 4. 谷歌学者 数字图书馆 Bulatov，A.、Jeavons，P.和Krokhin，A.，2005年。 使用有限代数对约束的复杂性进行分类。 SIAM J.计算。 34 , 3, 720--742. 谷歌学者 数字图书馆 Bulatov，A.、Krokhin，A.和Larose，B.2008年。 约束满足问题的对偶性。 在 约束的复杂性 ，《计算机科学讲义》，第5250卷，施普林格出版社，93-124。 谷歌学者 数字图书馆 Bulatov，A.和Valeriote，M.，2008年。 关于csp代数方法的最新结果。 在 约束的复杂性 《计算机科学讲义》，第5250卷，施普林格出版社，68-92页。 谷歌学者 数字图书馆 Burris，S.和Sankappanavar，H.P.，1981年。 通用代数课程，数学研究生课程 施普林格。 http://www.math.uwaterloo.ca网站/ ~snburris/htdocs/ualg.html。 谷歌学者 Carvalho，C.、Dalmau，V.和Krokhin，A.，2010年。 CSP对偶和有界路径宽度树。 西奥。 计算。 科学。 411 , 34--36, 3188--3208. 谷歌学者 数字图书馆 Carvalho，C.、Dalmau，V.和Krokhin，A.，2011年。 两个新的同态对偶和格运算。 J.逻辑计算。 21 , 6, 1065--1092. 谷歌学者 数字图书馆 Charikar，M.、Makarychev，K.和Markarychev，Y.，2009年。 最大约束满足问题的近最优算法。 ACM事务处理。 阿尔戈。 5, 3. 谷歌学者 数字图书馆 Cohen，D.、Cooper，M.、Jeavons，P.和Krokhin，A.，2005年。 超模函数和Max CSP的复杂性。 离散。 申请。 数学。 149 , 1--3, 53--72. 谷歌学者 数字图书馆 Cohen，D.和Jeavons，P.，2006年。 约束语言的复杂性。 在 约束编程手册 F.Rossi、P.van Beek和T.Walsh Eds.，爱思唯尔，第8章。 谷歌学者 Creignou，N.、Khanna，S.和Sudan，M.2001。 布尔约束满足问题的复杂性分类。 ACM事务处理。 SIAM专题光盘。 数学。 申请。 7 ，1-24。 谷歌学者 Creignou，N.、Kolaitis，P.G.和Vollmer，H.编辑，2008年。 约束的复杂性 《计算机科学讲义》，第5250卷，施普林格出版社。 谷歌学者 Dalmau，V.2005年。 关系结构的线性数据记录和有界路径对偶。 计算中的逻辑方法。 科学。 1 , 1. 谷歌学者 交叉引用 
Dalmau，V.和Krokhin，A.2008年。 大多数约束具有有界路径宽度对偶性。 欧元。 J.组合数学29 , 4, 821--837. 谷歌学者 数字图书馆 Dalmau，V.和Pearson，J.，1999年。 设置功能和宽度1问题。 在 第五届约束规划国际会议（CP’99）会议记录 《计算机科学讲义》，第1713卷，施普林格出版社，159-173页。 谷歌学者 数字图书馆 Deineko，V.、Jonsson，P.、Klasson，M.和Krokhin，A.2008年。 具有固定值约束的最大CSP的逼近性。 美国医学会期刊55 , 4, 16. 谷歌学者 数字图书馆 Dinur，I.2007年。 间隙放大的PCP定理。 美国医学会期刊54 , 3. 谷歌学者 数字图书馆 Feder，T.和Vardi，M.1998年。 单调单子snp和约束满足的计算结构：通过数据日志和群论进行的研究。 SIAM J.计算。 28 , 57--104. 谷歌学者 数字图书馆 盖革，D.1968。 函数和谓词的封闭系统。 太平洋数学杂志。 27 , 1, 95--100. 谷歌学者 交叉引用 Gottlob，G.、Leone，L.和Scarcello，F.，2009年。 通过基于超图的结构限制的可追踪优化问题。 在 第36届国际自动化、语言和编程学术讨论会会议记录（CALP'09） . 16--30. 谷歌学者 数字图书馆 Gratzer，G.2002年。 一般格理论。 Birkhauser。 谷歌学者 Guruswami，V.、Makarychev，Y.、Raghavendra，P.、Steurer，D.和Zhou，Y.，2011年。 寻找几乎完美的图形二分。 在 计算机科学创新会议记录（ICS’11） . 321--337. 谷歌学者 Guruswami，V.和Zhou，Y.2012年。 几乎可以满足的喇叭位置和精确打击集的近似性的严格界限。 理论计算。 8 , 11. 谷歌学者 交叉引用 Hástad，J.2001年。 一些最佳不可接近性结果。 美国医学杂志。 48 , 798--859. 谷歌学者 数字图书馆 Hástad，J.2008年。 每个2-CSP都允许非平凡近似。 计算。 复杂。 17 , 4, 549--566. 谷歌学者 数字图书馆 霍比·D·和麦肯齐·R·1988。 有限代数的结构 美国数学学会。 谷歌学者 Jonsson，P.、Klasson，M.和Krokhin。 A.2006年。 三值Max CSP的逼近性。 SIAM J.计算。 35 , 6, 1329--1349. 谷歌学者 数字图书馆 Jonsson，P.、Kuivinen，F.和Thapper，J.，2011年。 四个元素的最小CSP：超越子模块。 在 第17届约束规划原理与实践国际会议论文集（CP’11） . 438--453. 谷歌学者 数字图书馆 Khot，S.2002年。 关于独特的2谚语1轮游戏的力量。 在 第34届ACM计算理论研讨会论文集 . 767--775. 谷歌学者 数字图书馆 Khot，S.，2010年。 关于独特的博弈猜想。 在 第25届IEEE计算复杂性年会（CCC’10）会议记录 . 99--121. 谷歌学者 数字图书馆 Khot，S.、Kindley，G.、Mossel，E.和O'Donnell，R.，2007年。 max-cut和其他2变量CSP的最佳不可接近性结果。 SIAM J.计算。 37 , 1, 319--357. 谷歌学者 数字图书馆 Kolaitis，P.和Vardi，M.，2000年。 联合查询包含和约束满足。 J.计算。 系统。 科学。 61 , 302--332. 谷歌学者 数字图书馆 Kozik，M.、Krokhin，A.、Valeriote，M.和Willard，R.，2013年。 几种马尔塞夫条件的特征。 http://www.math.uwaterloo.ca网站/ ~rdwillar/documents/Publications/MaltsevPaper.pdf。 谷歌学者 Kun，G.、O'Donnell，R.、Tamaki，S.、Yoshida，Y.和Zhou，Y.，2012年。 线性规划、宽度-1 CSP和稳健满意度。 在 理论计算机科学会议（ITCS’12）第三次创新会议记录 . 484--495. 谷歌学者 数字图书馆 Larose，B.和Tesson，P.，2009年。 约束满足问题的泛代数和硬度结果。 西奥。 计算。 科学。 410 , 18, 1629--1647. 谷歌学者 数字图书馆 Loten，C.和Tardif，C.2008年。 有限对偶结构上的多数函数。 欧元。 J.组合数学29 , 4, 979--986. 谷歌学者 数字图书馆 Maróti，M.和McKenzie，R.，2008年。 弱对称运算的存在性定理。 代数普遍59 , 3--4, 463--489. 谷歌学者 交叉引用 马克思，D.2010。 约束满足和连接查询的可追踪超图属性。 在 第42届ACM计算理论研讨会论文集（STOC'10） . 735--744. 谷歌学者 数字图书馆 Nesetril，J.和Tardif，C.，2000年。 有限结构的对偶定理（表征间隙和良好表征）。 J.组合理论，Ser。 B 80型 , 80--97. 谷歌学者 数字图书馆 Raghavendra，P.2008年。 每个CSP的最优算法和不可接近性结果？ 在 第40届ACM计算理论年会论文集（STOC'08） . 245--254. 谷歌学者 数字图书馆 Szendrei，A.1986年。 泛代数中的克隆 《高等数学学院》，第99卷，蒙特利尔大学出版社。 谷歌学者 Szendrei，A.1992年。 关于严格单代数和极小簇的综述。 在 数学研究与说明 赫尔德曼，209--239。 谷歌学者 瓦莱里奥特，M.2009。 同余分配变种的一个子代数交集性质。 加拿大数学杂志。 61 , 2, 451--464. 谷歌学者 交叉引用 Zwick，U.1998年。 找到最令人满意的任务。 在 第30届ACM计算理论年会论文集 . 551--560. 谷歌学者 数字图书馆
建议
约束满足问题的鲁棒可满足性 STOC’12：第四十四届ACM计算理论年会论文集 如果一个约束满足问题的算法在给定一个（1-ε）可满足实例的情况下，输出满足至少（1-g（ε））-部分约束的赋值，其中g（ε）->0为ε->0，$g（0）=0，则称为鲁棒算法。 古鲁斯瓦米和周。。。 鲁棒可解约束满足问题 如果约束满足问题的算法输出满足给定约束的至少$（1-g（\varepsilon））$分数的赋值，则称为鲁棒算法 $（1-\varepsilon）$-可满足的实例，其中$g（\varepsilon）\rightarrow 0$为$\。。。
