大卫·E·布朗。;戴维·斯基德莫尔 使用有序二进制决策图表示整数因子分解问题。 (英语) Zbl 07784970号 理论计算。系统。 67,第6期,1307-1332(2023).MSC公司:2006年第68季度 06E30年 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Brown}和\textit{D.Skidmore},理论计算。系统。67,编号6,1307--1332(2023;Zbl 07784970) 全文: DOI程序
尼基尔·维亚斯;R.Ryan威廉姆斯 ACC电路稀疏对称函数的下限:扩展#SAT算法的范围。 (英语) Zbl 07680322号 理论计算。系统。 67,第1期,149-177(2023).MSC公司:68季度xx 94立方厘米 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Vyas}和\textit{R.R.Williams},理论计算。系统。67,编号1,149--177(2023;Zbl 07680322) 全文: DOI程序
林嘉宝 计数的复杂性\(\mathrm{CSP}^d\)。 (英语) Zbl 07473210号 理论计算。系统。 66,第1号,309-321(2022).MSC公司:65年第68季度 68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Lin},理论计算。系统。66,编号1,309--321(2022;Zbl 07473210) 全文: DOI程序
长尾、Atsuki;濑户县;纯一县Teruyama 句法读(k)次分支程序的可满足性算法。 (英语) 兹比尔1506.68039 理论计算。系统。 64,第8期,1392-1407(2020).MSC公司:65年第68季度 68磅05分 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Nagao}等人,理论计算。系统。64,第8号,1392--1407(2020;Zbl 1506.68039) 全文: DOI程序
蔡金毅;卢、品彦;夏明基 布尔域上Holant(^\ast)问题的二分法。 (英语) 兹比尔1503.68199 理论计算。系统。 64,第8期,1362-1391(2020).MSC公司:68卢比 2017年第68季度 65年第68季度 68兰特 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Cai}等人,理论计算。系统。64,第8号,1362--1391(2020;Zbl 1503.68199) 全文: DOI程序 链接
Mike Behrisch先生;米基·赫尔曼;斯特凡·蒙格尔;格诺·萨尔泽 命题模型的最小距离。 (英语) Zbl 1430.68120号 理论计算。系统。 63,第6期,1131-1184(2019).MSC公司:65年第68季度 03B05号 2017年第68季度 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Behrisch}等人,理论计算。系统。63,第6号,1131--1184(2019;Zbl 1430.68120) 全文: DOI程序 arXiv公司
德奥利维拉·奥利维拉,马特乌斯 关于小树宽量子电路的可满足性。 (英语) Zbl 1378.68044号 理论计算。系统。 61,第2期,656-688(2017).MSC公司:2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveirea},理论计算。系统。61,No.2,656--688(2017;Zbl 1378.68044) 全文: DOI程序 arXiv公司
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1435.68117号 理论计算。系统。 61,第2号,371-461(2017).MSC公司:65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,理论计算。系统。61,第2号,371--461(2017;Zbl 1435.68117) 全文: DOI程序 哈尔
Konrad W.Schwerdtfeger。 布尔可满足性的连通性:公式和电路的二分法。 (英语) Zbl 1378.68093号 理论计算。系统。 61,第2期,263-282(2017).MSC公司:65年第68季度 03B05号 05C40号 2017年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.W.Schwerdtfeger},理论计算。系统。61,No.2,263--282(2017;Zbl 1378.68093) 全文: DOI程序 arXiv公司
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 (英语) Zbl 1357.68086号 理论计算。系统。 59,第2期,323-376(2016).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《理论计算》。系统。59,第2号,323--376(2016;Zbl 1357.68086) 全文: DOI程序
周敏(Zhou,Min);他,费;宋晓宇;何,史;陈刚毅;顾,明 估计可满足模线性实数算法解空间的体积。 (英语) Zbl 1328.68209号 理论计算。系统。 56,第2期,347-371(2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,《理论计算》。系统。56,第2号,347--371(2015;Zbl 1328.68209) 全文: DOI程序
约翰·M·范·鲁伊(Johan M.M.van Rooij)。;van Kooten Niekerk,Marcel E。;Bodlaender,Hans L。 在有界度图上划分成三角形。 (英语) Zbl 1286.68214号 理论计算。系统。 52,第4期,687-718(2013).MSC公司:2017年第68季度 05C85号 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.M.van Rooij}等人,《理论计算》。系统。52,第4号,687--718(2013;Zbl 1286.68214) 全文: DOI程序
迈克尔·鲍兰德;埃尔玛·伯勒;纳迪亚·克里诺;斯特芬·里思;海宁·施诺尔;赫里贝特·沃尔默 量化约束问题的复杂性。 (英语) Zbl 1204.68182号 理论计算。系统。 47,第2期,454-490(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bauland}等人,《理论计算》。系统。47,第2号,454--490(2010;Zbl 1204.68182) 全文: DOI程序
M.阿格拉瓦尔。;蒂拉夫,T。 概率有序分支程序的可满足性问题。 (英语) Zbl 1009.68054号 理论计算。系统。 34,第5期,471-487(2001).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Agrawal}和\textit{T.Thierauf},理论计算。系统。34,第5号,471--487(2001;Zbl 1009.68054) 全文: DOI程序