迈克尔·科迪什;路易斯·克鲁兹·菲利佩;托尔斯滕·埃勒;米勒,迈克;彼得·施奈德·坎普 分类网络:一直到最后再回来。 (英文) Zbl 1423.68442号 J.计算。系统。科学。 104184-201(2019).MSC公司:68T20型 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,《计算杂志》。系统。科学。104、184--201(2019年;Zbl 1423.68442) 全文: 内政部 arXiv公司
威廉·林;卡列夫·卡斯克;哈维尔·拉罗萨;丽娜·德希特 与/或最佳优先搜索的子问题排序启发式。 (英文) Zbl 1390.68602号 J.计算。系统。科学。 94, 41-62 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Lam}等人,《计算杂志》。系统。科学。94、41-62(2018;Zbl 1390.68602) 全文: 内政部 链接
乔治·戈特洛布;吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 树投影和约束优化问题:固定参数可处理性和并行算法。 (英文) Zbl 1390.68345号 J.计算。系统。科学。 94, 11-40 (2018).MSC公司:65年第68季度 2010年第68季度 68兰特 68宽10 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,《计算杂志》。系统。科学。94、11-40(2018年;Zbl 1390.68345) 全文: 内政部 arXiv公司 链接
彼得·富拉;斯坦尼斯拉夫·伊文 在平面值CSP上。 (英文) 兹比尔1370.68125 J.计算。系统。科学。 87, 104-118 (2017).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Fulla}和\textit{S.ivn},J.Compute。系统。科学。87、104-118(2017年;Zbl 1370.68125) 全文: 内政部 arXiv公司
塞尔盖·加斯佩斯;内尔德哈拉·米斯拉;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡;斯坦尼斯拉夫·伊文 后门进入SAT和CSP的异构类。 (英文) Zbl 1356.68097号 J.计算。系统。科学。 85, 38-56 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}等人,《计算杂志》。系统。科学。85,38-56(2017年;兹bl 1356.68097) 全文: 内政部 arXiv公司
丹尼尔·本达拉;迈克尔·科迪什;路易斯·克鲁兹·菲利佩;彼得·施奈德·坎普;扎沃顿,雅库布 最佳深度分拣网络。 (英文) Zbl 1353.68062号 J.计算。系统。科学。 84185-204(2017).MSC公司:第68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bundala}等人,J.Compute。系统。科学。84、185--204(2017;Zbl 1353.68062) 全文: 内政部 arXiv公司
大卫·A·科恩。;马丁·库珀。;纪尧姆·埃斯卡莫彻;斯坦尼斯拉夫·伊文 通过禁止模式消除二进制约束满足中的变量和值。 (英文) Zbl 1320.68168号 J.计算。系统。科学。 81,第7期,1127-1143(2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,《计算杂志》。系统。科学。81,第7号,1127--1143(2015;Zbl 1320.68168) 全文: 内政部 arXiv公司
安德烈·布拉托夫(Andrei A.Bulatov)。;维克托·达尔摩;马丁·格罗;达尼尔·马克思 枚举同态。 (英文) Zbl 1253.68165号 J.计算。系统。科学。 78,第2期,638-650(2012).MSC公司:65年第68季度 05C30号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bulatov}等人,《计算杂志》。系统。科学。78,No.2,638--650(2012;Zbl 1253.68165) 全文: 内政部 链接
彼得·琼森;安德烈·克罗金 具有任意权重的最大可着色子图和约束优化。 (英文) Zbl 1115.68143号 J.计算。系统。科学。 73,第5号,691-702(2007).MSC公司:68T20型 68兰特 05C15号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}和\textit{A.Krokhin},J.Compute。系统。科学。73,第5号,691--702(2007;Zbl 1115.68143) 全文: 内政部
玛丽安·鲍迪内;简·乔米奇;皮埃尔·沃尔珀 约束生成依赖项。 (英文) Zbl 0939.68030号 J.计算。系统。科学。 59,第1期,94-115(1999).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudinet}等人,J.Compute。系统。科学。59,第1号,94--115(1999;Zbl 0939.68030) 全文: 内政部 链接
福田武史;森本康彦;森田,新一;Takeshi德山 挖掘数值属性的优化关联规则。 (英文) Zbl 0943.68050号 J.计算。系统。科学。 58,第1期,第1-12页(1999年).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Fukuda}等人,J.Compute。系统。科学。58,编号1,1--12(1999;Zbl 0943.68050) 全文: 内政部