约翰·利维埃拉托斯;Phokion G.科莱蒂斯。;Lefteris Kirousis公司 关于非独裁聚合的计算复杂性。 （英语） Zbl 1518.68144号 J.阿蒂夫。智力。研究（JAIR） 72, 137-183 (2021).MSC公司：65年第68季度 68T20型 第68页第42页 68瓦40 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Livieratos}等人，J.Artif。智力。研究（JAIR）72，137--183（2021；Zbl 1518.68144） 全文： 内政部
约塞普·迪亚斯;Lefteris Kirousis公司;索菲亚·科科内齐。;约翰·利维埃拉托斯 可能性域的算法有效句法表征。 （英语） Zbl 1452.91133号 牛市。地狱。数学。Soc公司。 63, 97-135 (2019).MSC公司：91B14号机组 91B06型 91B86型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Díaz}等人，公牛。地狱。数学。Soc.63，97-135（2019年；Zbl 1452.91133） 全文： arXiv公司 链接
安德烈·布拉托夫。;马克思，达尼尔 约束满足由解决方案大小参数化。 （英语） Zbl 1333.68136号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-642-22005-0/pbk）。计算机科学课堂讲稿6755，424-436（2011）。MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bulatov}和\textit{D.Marx}，Lect。注释计算。科学。6755424--436（2011年；Zbl 1333.68136） 全文： 内政部
大卫·A·科恩。;彼得·杰文斯（Peter G.Jeavons）。;斯坦尼斯拉夫·伊文 有值约束的表达能力：层次和折叠。 （英语） Zbl 1157.68061号 西奥。计算。科学。 409，第1期，137-153（2008）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人，Theor。计算。科学。409，编号1，137--153（2008；Zbl 1157.68061） 全文： 内政部 链接
大卫·A·科恩。;彼得·杰文斯（Peter G.Jeavons）。;斯坦尼斯拉夫·伊文 有值约束的表达能力：层次和折叠。 （英语） Zbl 1146.68455号 Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741798-805（2007）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人，Lect。注释计算。科学。4741、798--805（2007年；Zbl 1146.68455） 全文： 内政部 链接
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯（Peter G.Jeavons）。;安德烈·克鲁金（Andrei A.Krokhin）。 软约束满足的复杂性。 （英语） Zbl 1131.68520号 Artif公司。智力。 170，第11号，983-1016（2006）.MSC公司：68T20型 65年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人，Artif。智力。170，第11号，983--1016（2006；Zbl 1131.68520） 全文： 内政部 链接
彼得·琼森;安德烈·克罗金 识别约束满足问题中的冻结变量。 （英语） Zbl 1086.68056号 西奥。计算。科学。 329，编号1-3，93-113（2004）.MSC公司：65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}和\textit{A.Krokhin}，Theor。计算。科学。329，编号1--3，93-113（2004；Zbl 1086.68056） 全文： 内政部 链接