摘要
利伯·巴托。 2013.有界宽度层次结构的崩溃。 正在准备中。 谷歌学者 
利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。 2009年a。 同余分布意味着有界宽度。 SIAM J.计算。 39 , 4, 1531--1542. 内政部： http://dx.doi.org/10.1137/080743238。 谷歌学者 数字图书馆 
利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。 2009年b。 有界宽度的约束满足问题。 在 第50届计算机科学基础研讨会论文集（FOCS’09） . 595--603. 谷歌学者 数字图书馆 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。 2010年，泰勒品种和CSP的新条件。 在 IEEE第25届计算机科学逻辑年会（LICS’10）会议记录 IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，100-109。 内政部： http://dx.doi.org/10.109/LICS.2010.34。 谷歌学者 数字图书馆 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。 2012.约束满足问题的鲁棒可满足性。 在 第44届计算理论研讨会论文集（STOC'12） 纽约ACM，931-940。 内政部： http://dx.doi.org/10.1145/2213977.2214061。 谷歌学者 数字图书馆 利伯·巴托、马金·科齐克和大卫·斯坦诺夫斯克。 2013年，马尔塞夫条件、吸收不足和可溶解性。 提交。 谷歌学者 C.伯格曼。 2011 通用代数：基础与选题 泰勒和弗朗西斯。 http://books.google.ca/books？id=QXi3BZWoMRwC。 谷歌学者 交叉引用 
Joel Berman、Pawel Idziak、Petar Marković、Ralph McKenzie、Matthew Valeriote和Ross Willard。 2009.几乎没有幂子代数的品种。 事务处理。 阿默尔。 数学。 Soc.362号机组 , 1445--1473. 内政部： http://dx.doi.org/10.1090/S0002-9947-09-04874-0。 谷歌学者 交叉引用 加勒特·伯霍夫（Garrett Birkhoff）。 1935.关于抽象代数的结构。 程序。 剑桥菲洛斯。 社会31 , 433--454. 谷歌学者 交叉引用 V.G.Bodnarčuk、L.A.Kaluínin、V.N.Kotov和B.A.Romov。 后代数的伽罗瓦理论。 一、 二、。 Kibernetika（基辅）3 ，1-10； 同上，1969年，第5、1-9号。 谷歌学者 安德烈·布拉托夫。 2006年a。 马尔采夫约束的复杂性。 代数i Logika 26 ，1，（俄语）。 谷歌学者 安德烈·布拉托夫。 2009.有界关系宽度。 手稿。 网址：http://www.cs.sfu.ca/ ~abulatov/papers/relwidth.pdf。 谷歌学者 安德烈·布拉托夫（Andrei Bulatov）和维科特·达尔摩（Víctor Dalmau）。 2006.Mal′tsev约束的简单算法。 SIAM J.计算。 36 ，1，16--27（电子）。 谷歌学者 数字图书馆 安德烈·布拉托夫、彼得·杰文斯和安德烈·克罗金。 2005.使用有限代数对约束的复杂性进行分类。 SIAM J.计算。 34 ，720-742。 第3版。 内政部： http://dx.doi.org/10.1137/S0097539700376676。 谷歌学者 数字图书馆 安德烈·布拉托夫。 2003.可追踪的保守约束满足问题。 在 第18届IEEE计算机科学逻辑年会论文集 IEEE计算机协会，加利福尼亚州洛斯阿拉米托斯，321--。 内政部： http://dl.acm.org/citation.cfm？id=788023.789067。 谷歌学者 数字图书馆 A.A.布拉托夫。 2004年a。 保守广义可满足性问题的复杂性。 多克。 阿卡德。 Nauk诺克397 , 5, 583--585. 谷歌学者 安德烈·布拉托夫。 2004年b。 关系结构和约束满足问题的图。 在 IEEE第19届计算机科学逻辑年会会议记录（LICS’04） IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，448--457。 谷歌学者 数字图书馆 安德烈·布拉托夫。 2006年b。 由2-半格提出的组合问题。 J.代数298 , 2, 321--339. 谷歌学者 交叉引用 安德烈·布拉托夫。 2006年c。 三元集上约束满足问题的二分法定理。 美国医学会期刊53 , 1, 66--120. 谷歌学者 数字图书馆 安德烈·布拉托夫和马修·瓦莱里奥特。 2008年，关于CSP代数方法的最新结果。 在 约束的复杂性 Nadia Creignou、Phokion G.Kolaitis和Heribert Vollmer编辑，《计算机科学讲义》，第5250卷，Springer，68-92页。 http://dblp.uni-trier.de/db/conf/dagstuhl/coc2008.html#BulatovV08。 谷歌学者 数字图书馆 安德烈·布拉托夫、安德烈·克罗金和彼得·杰文斯。 约束满足问题和有限代数。 在 自动机、语言和编程 《计算机科学讲义》，第1853卷，柏林施普林格，272-282。 谷歌学者 数字图书馆 Andrei A.Bulatov、Andrei Krokhin和Benoit Larose。 2008.约束满足问题的双重性。 在 约束的复杂性 柏林斯普林格·弗拉格，93-124。 内政部： http://dx.doi.org/10.1007/978-3-540-92800-3_5。 谷歌学者 数字图书馆 Stanley N.Burris和H.P.Sankappanavar。 1981 泛代数课程 《数学研究生课本》，第78卷，纽约斯普林格·弗拉格出版社。 谷歌学者 卡塔琳娜·卡瓦略（Catarina Carvalho）、维科特·达尔摩（Víctor Dalmau）、彼得·马尔科维奇（Petar Marković）和米克洛斯·马洛蒂（Miklós Maróti）。 2009。CD（4）具有有界宽度。 代数Universalis 60 , 3, 293--307. 谷歌学者 交叉引用 Tomás Feder和Moshe Y.Vardi。 1998。单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究。 SIAM J.计算。 28 , 1, 57--104. 内政部： http://dx.doi.org/10.1137/S0097539794266766。 谷歌学者 数字图书馆 大卫·盖革。 1968.函数和谓词的封闭系统。 太平洋数学杂志。 27 , 95--100. 谷歌学者 交叉引用 大卫·霍比和拉尔夫·麦肯齐。 1988 有限代数的结构 《当代数学》，第76卷，美国数学学会，普罗维登斯，RI。 谷歌学者 Pawel Idziak、Petar Marković、Ralph McKenzie、Matthew Valeriote和Ross Willard。 2007.由几乎没有子幂的代数引起的可追踪性和可学习性。 在 第22届IEEE计算机科学逻辑年会论文集（LICS’07） IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，213--222。 谷歌学者 数字图书馆 彼得·杰文斯（Peter Jeavons）、大卫·科恩（David Cohen）和马克·吉森（Marc Gyssens）。 1997.约束的闭包性质。 美国医学会期刊44 , 4, 527--548. 谷歌学者 数字图书馆 埃米尔·基斯和马修·瓦莱里奥特。 2007.关于可处理性和同余分布性。 日志。 方法。 计算。 科学。 三 ，2，2:6，（电子）。 谷歌学者 贝诺·拉罗斯和帕斯卡尔·泰森。 2009.约束满足问题的通用代数和硬度结果。 理论。 计算。 科学。 410 , 18, 1629--1647. 内政部： http://dx.doi.org/10.1016/j.tcs.2008.12.048。 谷歌学者 数字图书馆 贝诺·拉罗泽和拉兹洛·扎多里，2007年。 有界宽度问题和代数。 代数普遍56 , 3--4, 439--466. 谷歌学者 交叉引用 贝诺·特·拉罗泽、马特·瓦莱里奥特和拉兹洛·扎多里，2009年。 省略类型、有界宽度和计数能力。 国际。 J.代数计算。 19 , 5, 647--668. 内政部： http://dx.doi.org/10.1142/S021819670900524X。 谷歌学者 交叉引用 米克洛斯·马洛蒂和拉尔夫·麦肯齐。 弱对称运算的存在性定理。 代数普遍59 , 3--4, 463--489. 谷歌学者 交叉引用
