斯里库马尔·拉马林加姆;克里斯·罗素;拉迪克,卢布尔;菲利普·托尔。 使用单调布尔函数有效地最小化高阶子模函数。 (英语) Zbl 1422.68136号 离散应用程序。数学。 220, 1-19 (2017).MSC公司:65年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{S.Ramalingam}等人,《离散应用》。数学。220,1-19(2017;Zbl 1422.68136) 全文: 内政部 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公司
弗拉基米尔·科尔莫戈罗夫 最小化子模块函数的总和。 (英语) 兹比尔1274.90461 离散应用程序。数学。 160,第15号,2246-2258(2012).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Kolmogorov},离散应用程序。数学。160,第15号,2246--2258(2012;Zbl 1274.90461) 全文: 内政部
斯坦尼斯拉夫·伊文;彼得·杰文斯(Peter G.Jeavons)。 可由图割表示的子模块约束类。 (英语) Zbl 1208.68196号 约束条件 第3期第15页,430-452页(2010年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.ivn}和\textit{P.G.Jeavons},《限制条件》第15卷第3期,第430-452页(2010年;Zbl 1208.68196) 全文: 内政部
M.C.库珀。;德吉夫里,S。;桑切斯,M。;希克斯,T。;Zytnicki,M。;T·沃纳。 重新审视软弧一致性。 (英语) Zbl 1213.68580号 Artif公司。智力。 174,编号7-8,449-478(2010).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。因特尔。174,编号7--8,449--478(2010;Zbl 1213.68580) 全文: 内政部
斯坦尼斯拉夫·伊文;大卫·A·科恩。;彼得·杰文斯(Peter G.Jeavons)。 二元子模函数的表达能力。 (英语) Zbl 1229.90093号 离散应用程序。数学。 157,第15号,3347-3358(2009).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{S.ivn}等人,《离散应用》。数学。157,第15号,3347--3358(2009;Zbl 1229.90093) 全文: 内政部
斯坦尼斯拉夫·伊文;大卫·A·科恩。;彼得·杰文斯(Peter G.Jeavons)。 二元子模函数的表达能力。 (英语) Zbl 1250.68122号 Královič,Rastislav(编辑)等人,2009年计算机科学数学基础。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734744-757(2009)。MSC公司:65年第68季度 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{S.ivn}等人,Lect。注释计算。科学。5734744--757(2009年;Zbl 1250.68122) 全文: 内政部