乔舒亚·布拉肯西克;西瓦坎特戈皮;文凯特桑·古鲁斯瓦米 全局模块化约束的约束满足问题:通过多项式表示的算法和硬度。 (英语) Zbl 07538272号 SIAM J.计算。 51,第3期,577-626(2022).MSC公司:65年第68季度 94B05型 2001年2月20日 68瓦20 08A70型 03B70号 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}等人,SIAM J.Compute。51,编号3,577--626(2022;Zbl 07538272) 全文: 内政部
石炭纪,Clément;米盖尔·罗梅罗;斯坦尼斯拉夫·伊文 从另一方面来看,一般值约束满足问题的复杂性。 (英语) Zbl 07470541号 SIAM J.计算。 51,第1号,第19-69页(2022年).MSC公司:65年第68季度 68兰特 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{C.Carbonnel}等人,SIAM J.Comput。51,编号1,19--69(2022;Zbl 07470541) 全文: 内政部 arXiv公司
乔舒亚·布拉肯西克;文凯特桑·古鲁斯瓦米 承诺约束满足:代数结构和对称布尔二分法。 (英语) Zbl 1494.68094号 SIAM J.计算。 50,第6期,1663-1700(2021).MSC公司:65年第68季度 08A70型 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}和\textit{V.Guruswami},SIAM J.Comput。50,第6号,1663-1700(2021;Zbl 1494.68094) 全文: 内政部 arXiv公司
巴托,利伯;迈克尔·平斯克 拓扑是无关的(在无限域约束满足问题的二分法猜想中)。 (英语) Zbl 1432.68169号 SIAM J.计算。 49,第2期,365-393页(2020年).MSC公司:65年第68季度 03C05号机组 03C35号 08A70型 2017年第68季度 68年第27季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Barto}和\textit{M.Pinsker},SIAM J.Compute。49,第2号,365-393(2020;Zbl 1432.68169) 全文: 内政部 arXiv公司
克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 超临界空间宽度的折衷解决方案。 (英语) 兹比尔1485.03235 SIAM J.计算。 49,编号1,98-118(2020).MSC公司:20层03 03B70号 2015年3月1日 2015年第68季度 2017年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Berkholz}和\textit{J.Nordström},SIAM J.Compute。49,编号1,98--118(2020;Zbl 1485.03235) 全文: 内政部
曼纽尔·博迪尔斯基;巴纳比·马丁;迈克尔·平斯克;安德拉斯·蓬格拉茨 齐次图约简的约束满足问题。 (英语) 兹比尔1430.68121 SIAM J.计算。 48,第4期,1224-1264(2019).MSC公司:65年第68季度 03C15号 05元55分 05C75号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,SIAM J.Compute。48,第4号,1224--1264(2019;Zbl 1430.68121) 全文: 内政部
陈,胡比;马特·瓦莱里奥特;Yuichi Yoshida 约束满足问题赋值的常量查询可测试性。 (英语) 兹比尔1430.68439 SIAM J.计算。 48,第3期,1022-1045(2019).MSC公司:68瓦20 08A02号 08A70型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,SIAM J.Compute。48,第3号,1022--1045(2019;Zbl 1430.68439) 全文: 内政部
弗洛伦特·马德琳。;巴纳比·D·马丁。 关于模型检查问题的复杂性。 (英语) Zbl 1393.68078号 SIAM J.计算。 47,第3期,769-797(2018).MSC公司:65年第68季度 03B70号 2015年1月6日 08A70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Madelaine}和\textit{B.D.Martin},SIAM J.Compute。47,第3号,769--797(2018;Zbl 1393.68078) 全文: 内政部 arXiv公司 链接
库沙·埃特萨米;阿利斯泰尔·斯图尔特;米哈利斯·亚纳卡基斯 计算多类型分支过程消亡概率的多项式时间算法。 (英语) Zbl 1378.68074号 SIAM J.计算。 46,第5期,1515-1553(2017).MSC公司:65年第68季度 60G07年 60J80型 2012年第68季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人,SIAM J.Compute。46,No.5,1515--1553(2017;Zbl 1378.68074) 全文: 内政部
约翰·塔珀;斯坦尼斯拉夫·伊文 Sherali-Adams对一般值CSP的松弛作用。 (英语) Zbl 1371.68125号 SIAM J.计算。 46,第4期,1241-1279(2017).MSC公司:65年第68季度 08A70型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Thapper}和\textit{S.ivn},SIAM J.Compute。46,编号41241-1279(2017;兹bl 1371.68125) 全文: 内政部 arXiv公司
弗拉基米尔·科尔莫戈罗夫;安德烈·克罗金;米查尔·罗利内克 一般值CSP的复杂性。 (英语) Zbl 1371.68117号 SIAM J.计算。 46,第3期,1087-1110(2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kolmogorov}等人,SIAM J.Compute。46,编号31087-1110(2017;兹bl 1371.68117) 全文: 内政部 arXiv公司
弗拉基米尔·科尔莫戈罗夫;约翰·塔珀;斯坦尼斯拉夫·伊文 一般值CSP的线性规划的威力。 (英语) Zbl 1456.68059号 SIAM J.计算。 44,第1期,1-36页(2015年).MSC公司:65年第68季度 2017年第68季度 68兰特 90C05(二氧化碳) 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Kolmogorov}等人,SIAM J.Compute。44,第1号,1-36(2015;Zbl 1456.68059) 全文: 内政部 arXiv公司