摘要
利伯·巴托、迈克尔·孔帕彻、米罗斯拉夫·奥尔沙克、迈克尔·平斯克和特朗·范·范。 2017.无限域约束满足问题的两个二分法猜想是等价的。 第32届IEEE计算机科学逻辑研讨会会议记录——LICS’17。 谷歌学者 
利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。 2012.吸收子代数、循环项和约束满足问题。 《计算机科学中的逻辑方法》8/1，07（2012），1-26。 谷歌学者 Libor Barto、Jakub Opršal和Michael Pinsker。 2017年，反思的仙境。 以色列数学杂志（2017）。 出现。 预印arXiv:15100.04521。 谷歌学者 利伯·巴托和迈克尔·平斯克。 2016.无限域约束满足问题的代数二分法猜想。 第31届IEEE计算机科学逻辑研讨会会议记录——LICS’16。 615--622. 谷歌学者 数字图书馆 
曼纽尔·博德斯基。 2007.可数分类结构的核心。 计算机科学中的逻辑方法3，1（2007），1-16。 谷歌学者 交叉引用 
曼纽尔·博德斯基。 2012.无限域约束满足的复杂性分类。 (2012). 巴黎迪德罗大学第七届资格认证。 可在arXiv:1201.0856v8上获得。 谷歌学者 曼纽尔·博德斯基。 2015年，拉姆齐课堂：示例和构造。 在组合数学调查中。 伦敦数学学会讲座笔记系列424。 剑桥大学出版社。 受邀为英国组合会议撰写调查文章。 谷歌学者 曼努埃尔·博迪尔斯基（Manuel Bodersky）和维科特·达尔摩（Víctor Dalmau）。 2013.无限模板的数据日志和约束满足。 《计算机与系统科学杂志》79（2013），79-100。 初步版本出现在计算机科学理论方面研讨会（STACS’05）的会议记录中。 谷歌学者 数字图书馆 曼纽尔·博德斯基和安托万·莫特特。 2016.减少有限有界均质结构，从有限域约束满足中提升可牵引性。 第31届IEEE计算机科学逻辑研讨会会议记录——LICS’16。 623--632. ArXiv提供预打印：1601.04520。 谷歌学者 数字图书馆 曼纽尔·博德斯基和安托万·莫特特。 2018.一元结构一阶约简的二分法。 计算机科学的逻辑方法（2018）。 出现。 谷歌学者 曼努埃尔·博迪尔斯基和雅罗斯拉夫·内什等人。 2006.可数同质模板的约束满足。 《逻辑与计算杂志》16，3（2006），359-373。 谷歌学者 数字图书馆 曼纽尔·博德斯基和迈克尔·平斯克。 2016.规范函数：拓扑动力学证明。 (2016). 可在以下位置进行预打印 http://arxiv.org/abs/1610.09660。 谷歌学者 曼努埃尔·博迪尔斯基、迈克尔·平斯克和安德拉斯·蓬格拉茨。 2014.投影克隆同态。 (2014). 预打印arXiv:1409.4601。 谷歌学者 安德烈·布拉托夫。 2017.非均匀CSP的二分法定理。 2017年FOCS会议记录。 谷歌学者 交叉引用 安德烈·布拉托夫和彼得·杰文斯。 2001.组合问题中的代数结构。 技术报告MATH-AL-4-2001，德累斯顿理工大学。 (2001). 谷歌学者 安德烈·布拉托夫、安德烈·克罗金和彼得·杰文斯。 2005.使用有限代数对约束的复杂性进行分类。 SIAM J.计算。 34 (2005), 720--742. 谷歌学者 数字图书馆 Ashok K.Chandra和Philip M.Merlin。 关系数据库中连接查询的优化实现。 在计算机理论研讨会（STOC）的会议记录中。 77--90. 谷歌学者 数字图书馆 Gregory Cherlin、Saharon Shelah和Niangdong Shi。 带有禁止子图和代数闭包的泛图。 应用数学进展22（1999），454--491。 谷歌学者 数字图书馆 Tomás Feder和Moshe Y.Vardi。 1993.单调单子SNP与约束满足。 在计算机理论研讨会（STOC）的会议记录中。 612--622. 谷歌学者 数字图书馆 Tomás Feder和Moshe Y.Vardi。 单调单子SNP的计算结构和约束满足：通过数据日志和群论进行的研究。 SIAM J.计算。 28 (1999), 57--104. 谷歌学者 数字图书馆 J.Hubička和J.Nešetřil。 2016年，所有这些拉姆齐类（带有闭包和禁止同态的拉姆齐类）。 (2016). arXiv:1606.07979v2。 谷歌学者 加博尔·库恩。 2013.约束、MMSNP和扩展关系结构。 组合数学33，3（2013），335--347。 谷歌学者 数字图书馆 卡斯滕·卢茨和弗兰克·沃尔特。 2015年，关于一致性问答和约束满足问题之间的关系。 在第18届数据库理论国际会议论文集（ICDT15）。 谷歌学者 弗洛伦特·马德莱恩。 2003.约束满足问题及相关逻辑。 莱斯特大学博士论文。 (2003). 谷歌学者 弗洛伦特·马德兰和伊恩·斯图尔特。 2007.约束满足、逻辑和禁止模式。 SIAM J.计算。 37, 1 (2007), 132--163. 谷歌学者 数字图书馆 德米特里·朱克。 2017.CSP二分法猜想的证明。 2017年FOCS会议记录。 谷歌学者 交叉引用
建议
单调单子SNP的代数可拓性猜想的证明 逻辑MMSNP是一个受限片段 能表达图论中许多有趣查询的存在二阶逻辑 和有限模型理论。 这个逻辑是由Feder和Vardi介绍的，他们表明每个MMSNP句子都是。。。 Steiner Multicut的参数化复杂性二分法 我们考虑Steiner Multicut问题，它要求给定一个无向图G，一个T={T1，ź，T T}，T i \378,V（G）的集合，其终端集的大小最多为p，并且是一个整数k，是否存在一个最多为k个边或节点的集S，从而。。。
