本杰明·梅林·邦普斯;Bart M.P.Jansen。;Jari J.H.de Kroon。 通过基本顶点减少搜索空间。 (英语) Zbl 07914821号 SIAM J.离散数学。 38,第3期,2392-2415(2024).MSC公司:05C69号 05立方厘米85 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.M.Bumpus}等人,SIAM J.离散数学。38,编号3,2392--2415(2024;Zbl 07914821) 全文: DOI程序 arXiv公司
陈丽杰;金,策;拉胡尔·桑塔纳姆;莱恩·威廉姆斯 建设性分离及其后果。 (英语) Zbl 07875507号 理论CS 3,第3号论文,41页(2024年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}等人,TheoretiCS 3,论文编号3,41 p.(2024;Zbl 07875507) 全文: DOI程序 arXiv公司 OA许可证
布鲁诺·贾图克斯 任意方向有向图中的核计数。 (英语) Zbl 07869032号 离散应用程序。数学。 355, 62-73 (2024).MSC公司:05时20分 05C30号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jartoux},离散应用程序。数学。355、62-73(2024;Zbl 07869032) 全文: DOI程序 arXiv公司
松冈、大冢;大阪,直藤 行列式点过程乘积归一化常数的计算复杂性。 (英语) 兹伯利07832847 西奥。计算。科学。 997,文章ID 114513,37 p.(2024).MSC公司:65年第68季度 60G55型 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Matsuoka}和\textit{N.Ohsaka},Theor。计算。科学。997,文章编号114513,37 p.(2024;Zbl 07832847) 全文: DOI程序 arXiv公司
马丁·雷奥斯·威尔森;他们是纪尧姆 自动机网络的内在普遍性。一: 族和仿真。 (英语) Zbl 07832845号 西奥。计算。科学。 997,文章ID 114511,23 p.(2024).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ríos Wilson}和\textit{G.Theyssier},Theor。计算。科学。997,文章ID 114511,23 p.(2024;Zbl 07832845) 全文: DOI程序
波亚·哈塔米;威廉·霍扎 无条件伪随机生成器的范例。 (英语) 兹伯利07812873 已找到。趋势理论。计算。科学。 16、编号1-2、1-210(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Hatami}和\textit{W.Hoza},已找到。趋势理论。计算。科学。16,编号1--2,1--210(2024;Zbl 07812873) 全文: DOI程序
拉克科宁,图玛斯;康斯坦蒂诺斯·梅恰内齐迪斯;约翰·范德韦特林 用ZH-微积分表示计数减少。 (英语) Zbl 07822818号 Mansfield,Shane(编辑)等人,《第20届量子物理和逻辑国际会议论文集》,QPL,巴黎,法国,2023年7月17日至21日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)38489-113(2023)。MSC公司:81页68 65年第68季度 62A09号 11点45分 PDF格式BibTeX公司 XML格式引用 \textit{T.Laakkonen}等人,《电子》。程序。西奥。计算。科学。(EPTCS)384,89--113(2023;Zbl 07822818) 全文: DOI程序 arXiv公司
亚历山大·戈洛夫涅夫;郭思尧;斯宾塞·彼得斯;史蒂芬·达维多维茨,诺亚 回顾函数反演的时空权衡。 (英语) Zbl 1531.94056号 Handschuh,Helena(编辑)等人,《密码学进展——加密货币2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第二部分。查姆:斯普林格。勒克特。注释计算。科学。14082, 453-481 (2023).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Golovenv}等人,莱克特。注释计算。科学。14082、453--481(2023年;Zbl 1531.94056) 全文: DOI程序
Yael Tauman卡莱;亚历克斯·隆巴迪;维诺德·瓦昆塔坦 根据Diffie-Hellman决策假设得出的SNARG和PPAD硬度。 (英语) Zbl 1535.94057号 Hazay,Carmit(编辑)等人,《密码学进展–EUROCRYPT 2023》。第42届密码技术理论与应用国际年会,法国里昂,2023年4月23日至27日。诉讼程序。第二部分。查姆:斯普林格。勒克特。注释计算。科学。14005, 470-498 (2023).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.T.Kalai}等人,Lect。注释计算。科学。14005、470--498(2023年;Zbl 1535.94057) 全文: DOI程序
萨夫拉迪普查克拉波蒂;马诺伊·普拉巴卡兰;丹尼尔·威克斯 见证地图地图:新定义和连接。 (英语) Zbl 1526.94029号 Boldyreva,Alexandra(编辑)等人,公开密钥加密-PKC 2023。第26届IACR公钥密码学实践与理论国际会议,美国佐治亚州亚特兰大,2023年5月7日至10日。诉讼程序。第二部分。查姆:斯普林格。勒克特。注释计算。科学。13941, 635-662 (2023).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,Lect。注释计算。科学。13941、635--662(2023;Zbl 1526.94029) 全文: DOI程序
托马斯·艾特;拉斐尔·基塞尔 人工智能中的半环推理框架及其计算复杂性。 (英语) Zbl 07753301号 J.阿蒂夫。智力。研究(JAIR) 77, 207-293 (2023).MSC公司:68T01型 16年60 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{R.Kiesel},J.Artif。智力。研究(JAIR)77,207--293(2023;Zbl 07753301) 全文: DOI程序
郭恒;马克·杰鲁姆 计算由面定义的整数多面体的顶点。 (英语) Zbl 07748818号 离散计算。地理。 70,第3号,975-990(2023).MSC公司:2017年第68季度 52个B05 68周25 PDF格式BibTeX公司 XML格式引用 \textit{H.Guo}和\textit{M.Jerrum},离散计算。地理。70,编号3,975--990(2023;Zbl 07748818) 全文: DOI程序 arXiv公司 OA许可证
M.N.维亚利。 在两个元素的域上测试代数公式的可满足性。 (英语。俄文原件) Zbl 07733793号 问题。信息传输。 59,第1号,第57-62页(2023年); 翻译自Probl。Peredachi Inf.59,No.1,64-70(2023)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.N.Vyalyi},Probl(问题)。信息传输。59,编号1,57-62(2023;Zbl 07733793);Probl的翻译。Peredachi Inf.59,No.1,64--70(2023年) 全文: DOI程序
托拜厄斯·弗里德里希;安德烈亚斯·哥贝尔;马丁·克雷卡(Martin S.Krejca)。;马库斯·帕皮克 通过团的聚合物动力学:近似的新条件。 (英语) Zbl 07636003号 西奥。计算。科学。 942, 230-252 (2023).MSC公司:82至XX PDF格式BibTeX公司 XML格式引用 \textit{T.Friedrich}等人,Theor。计算。科学。942,230-252(2023;Zbl 07636003) 全文: DOI程序 arXiv公司 哈尔
V·阿尔文德。;文凯特桑·古鲁斯瓦米 子空间中的CNF可满足性及相关问题。 (英语) Zbl 07608291号 算法 84,第11号,3276-3299(2022).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{V.Guruswami},《算法》84,No.11,3276-3299(2022;Zbl 07608291) 全文: DOI程序 arXiv公司
塞瓦格·加里比安;米克洛斯·桑塔;杰米·西科拉;阿尔西Sundaram;贾斯汀·伊尔卡 多项式层次的量子推广及其在(mathrm{QMA(2)}中的应用。 (英语) Zbl 1512.68101号 计算。复杂性 31,第2期,第13号论文,52页(2022年).MSC公司:第68季度12 2015年第68季度 81页68 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gharbian}等人,计算。复杂性31,第2号,第13号论文,第52页(2022;Zbl 1512.68101) 全文: DOI程序
霍尔斯(Eva-Maria C.Hols)。;斯特凡·克拉奇;阿斯特里德·彼得斯 顶点覆盖的消除距离、分块集和核。 (英语) Zbl 07578861号 SIAM J.离散数学。 36,第3期,1955-1990(2022).MSC公司:65年第68季度 05立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{E.-M.C.Hols}等人,SIAM J.离散数学。36,第3期,1955年--1990年(2022年;Zbl 07578861) 全文: DOI程序 arXiv公司
克里斯·布尔祖斯卡;杰弗里·库托 基于强平均情况硬度构建细粒度单向函数。 (英语) Zbl 1497.68209号 Dunkelman,Orr(编辑)等人,《密码学进展——EUROCRYPT 2022》。第41届密码技术理论与应用国际年会,挪威特隆赫姆,2022年5月30日至6月3日。诉讼程序。第二部分。查姆:斯普林格。勒克特。注释计算。科学。13276, 584-613 (2022).MSC公司:2010年第68季度 2017年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brzuska}和\textit{G.Couteau},莱克特。注释计算。科学。13276584--613(2022年;兹比尔1497.68209) 全文: DOI程序 哈尔
马克斯·格拉泽;马克·佩奇(Marc E.Pfetsch)。 关于寻找最短变量析取分枝定界证明的复杂性。 (英语) Zbl 1497.90137号 Aardal,Karen(编辑)等,整数规划和组合优化。第23届国际会议,IPCO 2022,荷兰埃因霍温,2022年6月27日至29日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13265, 291-304 (2022).MSC公司:90立方厘米 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gläser}和\textit{M.E.Pfetsch},莱克特。注释计算。科学。13265、291--304(2022;Zbl 1497.90137) 全文: DOI程序
约翰·M·希区柯克。;哈迪·沙菲 非均匀约简和NP-完全性。 (英语) Zbl 07562750号 理论计算。系统。 66,第4期,743-757(2022年).MSC公司:68季度xx 03年月日 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{J.M.Hitchcock}和\textit{H.Shafei},理论计算。系统。66,编号4,743--757(2022;Zbl 07562750) 全文: DOI程序 链接
戴尔,霍尔格;约翰·拉宾斯卡斯;米克斯,基蒂 使用彩色决策预言机大致统计和抽样小证人。 (英语) Zbl 1502.68220号 SIAM J.计算。 51,第4号,849-899(2022).MSC公司:68兰特 05年6月15日 68年第27季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{H.Dell}等人,SIAM J.Compute。51,第4号,849--899(2022;Zbl 1502.68220) 全文: DOI程序
斯蒂芬·芬纳;丹尼尔·帕德;托马斯·蒂拉夫 正则填字游戏的复杂性。 (英语) Zbl 1487.68126号 Inf.计算。 286,文章ID 104777,18 p.(2022).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fenner}等人,《信息计算》。286,文章ID 104777,18 p.(2022;Zbl 1487.68126) 全文: DOI程序
安东尼斯·安东诺普洛斯;埃利尼·巴卡利;阿盖利基·查尔基;阿里斯·帕古尔茨;Pantavos,Petros公司;斯塔希斯·扎科斯 简单决策版本计数问题的完整性、逼近性和指数时间结果。 (英语) Zbl 1535.68178号 西奥。计算。科学。 915, 55-73 (2022).MSC公司:68兰特 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonopoulos}等人,Theor。计算。科学。915,55-73(2022年;兹bl 1535.68178) 全文: DOI程序
Sayan Bandyapadhyay 关于非均匀(k)中心的扰动弹性。 (英语) Zbl 1522.68628号 算法 84,编号1,13-36(2022).MSC公司:68单位05 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{S.Bandyapadhyay},Algorithmica 84,No.1,13-36(2022;Zbl 1522.68628) 全文: DOI程序 arXiv公司 OA许可证
斯特凡诺·巴贝罗;伊曼纽尔·贝里尼;卡罗·桑纳;哈维尔·韦尔贝尔 求解布尔多项式系统的概率算法的实际复杂性。 (英语) Zbl 1533.68101号 离散应用程序。数学。 309, 13-31 (2022).MSC公司:65年第68季度 2006年11月 11年16日 68瓦40 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Barbero}等人,《离散应用》。数学。309、13-31(2022年;Zbl 1533.68101) 全文: DOI程序
水池县Hirahara 根据指数最坏情况硬度假设计算NP的平均硬度。 (英语) Zbl 07765172号 Khuller,Samir(ed.)等人,第53届ACM SIGACT计算理论年度研讨会论文集,STOC’21,虚拟,意大利,2021年6月21-25日。纽约州纽约市:计算机协会(ACM)。292-302 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Hirahara},in:第53届ACM SIGACT计算理论年度研讨会论文集,STOC’21,虚拟,意大利,2021年6月21日至25日。纽约州纽约市:计算机协会(ACM)。292--302(2021;Zbl 07765172) 全文: DOI程序
罗伯特·D·巴里什。;阿基拉·苏亚马 巴内特猜想是通过\(Mod_k P\)复杂性类的透镜实现的。 (英语) Zbl 07670959号 Akiyama,Jin(编辑)等人,《离散和计算几何、图形和游戏》。第21届日本会议,2018年JCDCGGG,菲律宾奎松市,2018年9月1日至3日。修改选定的论文。查姆:斯普林格。勒克特。注释计算。科学。13034, 59-73 (2021).MSC公司:68兰特 68单位05 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Barish}和\textit{A.Suyama},莱克特。注释计算。科学。13034、59--73(2021;Zbl 07670959) 全文: DOI程序
戴尔、霍尔格;约翰·拉宾斯卡斯 从近似计数到决策的细粒度减少。 (英语) Zbl 1495.68098号 ACM事务处理。计算。理论 第13条第2款第8条第24页(2021年).MSC公司:65年第68季度 68兰特 68周25 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{H.戴尔}和\textit{J.拉宾斯卡斯},ACM Trans。计算。理论13,第2号,第8条,24页(2021年;Zbl 1495.68098) 全文: DOI程序 链接
斯泰芬·博格沃德;布兰德,科尼利厄斯;安德烈亚斯·埃米尔·费尔德曼;马丁·库特克 关于最深衰减电路阶跃近似性的注记。 (英语) Zbl 1525.90261号 操作。Res.Lett公司。 49,编号3,310-315(2021).MSC公司:90C05(二氧化碳) 90C60型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgwardt}等人,Oper。Res.Lett公司。49,第3号,310-315(2021;Zbl 1525.90261) 全文: DOI程序 arXiv公司
意大利迪努尔 多项式方法在求解([mathrm{GF}(2)]上多元方程组中的密码分析应用。 (英语) Zbl 1479.94157号 Canteaut,Anne(编辑)等人,《密码学进展–EUROCRYPT 2021》。第40届密码技术理论与应用国际年会,克罗地亚萨格勒布,2021年10月17日至21日。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12696, 374-403 (2021).MSC公司:94A60型 68周01 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Dinur},莱克特。注释计算。科学。12696、374--403(2021年;Zbl 1479.94157) 全文: DOI程序
格雷格·库珀伯格;埃里克·桑珀顿 节点和链接的着色不变量通常很难处理。 (英语) Zbl 1491.20080号 阿尔盖布。地理。白杨。 21,第3期,1479-1510(2021). 审核人:蒂穆尔·纳西布洛夫(新西伯利亚) MSC公司:2010年1月20日 57 K10 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kuperberg}和\textit{E.Samperton},Algebr。地理。白杨。21,第3号,1479--1510(2021;Zbl 1491.20080) 全文: DOI程序 arXiv公司
奥马尔·莱因戈尔德;Guy N.罗斯布卢姆。;罗恩·罗斯布卢姆。 委托计算的持续交互式证明。 (英语) Zbl 1464.68128号 SIAM J.计算。 50,3号,STOC16-255-STOC16-340(2021).MSC公司:65年第68季度 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Reingold}等人,SIAM J.Compute。50,3号,STOC16--255-STOC16--340(2021;Zbl 1464.68128) 全文: DOI程序
尼基尔·维亚斯;莱恩·威廉姆斯 在超强ETH上。 (英语) 兹比尔1512.68115 J.阿蒂夫。智力。研究(JAIR) 70, 473-495 (2021).MSC公司:65年第68季度 68兰特 68T20型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{N.Vyas}和\textit{R.Williams},J.Artif。智力。研究(JAIR)70,473--495(2021;Zbl 1512.68115) 全文: DOI程序
安德烈亚斯·加拉尼斯;莱斯利·安·戈德伯格;杨,宽 有界布尔计数约束满足问题的近似配分函数。 (英语) Zbl 1464.68272号 J.计算。系统。科学。 115, 187-213 (2021).MSC公司:68兰特 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Galanis}等人,《计算杂志》。系统。科学。115187-213(2021年;兹比尔1464.68272) 全文: DOI程序 arXiv公司 链接
水池县Hirahara 伪随机生成器构造的元计算观点中的非双联承诺问题。 (英语) Zbl 07561748号 Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。169,第20条,第47页(2020年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hirahara},LIPIcs——莱布尼茨国际程序。通知。169,第20条,47 p.(2020;Zbl 07561748) 全文: DOI程序
伊沃娜·贝扎科娃;安德烈亚斯·加拉尼斯;莱斯利·安·戈德伯格;丹尼尔·什·特凡科维奇 复平面上独立集合多项式的不可逼近性。 (英语) Zbl 1476.68193号 SIAM J.计算。 49,编号5,STOC18-395-STOC18-448(2020).MSC公司:68兰特 05C31号 05C69号 2017年第68季度 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{I.Bezáková}等人,SIAM J.Compute。49,第5号,STOC18-395-STOC18--448(2020;Zbl 1476.68193) 全文: DOI程序
彼得·艾尔;阿明·科贾·奥格伦;高、浦;穆勒,诺拉 随机线性方程的可满足性阈值。 (英语) Zbl 1463.05507号 组合数学 40,第2期,179-235(2020年). 审核人:李国伟(台北) MSC公司:05C80号 05年5月50日 PDF格式BibTeX公司 XML格式引用 \textit{P.Ayre}等人,Combinatorica 40,No.2,179--235(2020;Zbl 1463.05507) 全文: DOI程序 arXiv公司
Lialina,A.A。 关于唯一电路SAT的复杂性。 (英语。俄文原件) 兹比尔1442.68053 数学杂志。科学。,纽约 247,第3期,457-466(2020年); Zap的翻译。诺什。塞明。POMI 475122-136(2018)。MSC公司:2006年第68季度 68兰特 68瓦40 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Lialina},J.数学。科学。,纽约247,第3457-466号(2020;兹bl 1442.68053);Zap的翻译。诺什。塞明。POMI 475、122--136(2018年) 全文: DOI程序
李、钱;孙晓明 关于布尔函数的模度复杂性。 (英语) Zbl 1433.68175号 西奥。计算。科学。 818, 32-40 (2020).MSC公司:65年第68季度 06E30年 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}和\textit{X.Sun},Theor。计算。科学。818,32--40(2020;Zbl 1433.68175) 全文: DOI程序
米歇尔·博雷尔;丹妮尔·戈拉 近似模型计数、稀疏异或约束和最小距离。 (英语) Zbl 1535.68181号 Alvim,Mário S.(编辑)等人,《计算系统建模的艺术:从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。11760, 363-378 (2019).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{D.Gorla},莱克特。注释计算。科学。11760、363--378(2019年;Zbl 1535.68181) 全文: DOI程序 arXiv公司
安德烈亚斯·比约克隆德;佩特里·卡斯基;莱恩·威廉姆斯 通过平价自约简求解GF(2)上的多项式方程组。 (英语) Zbl 07561519号 Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第26条,第13页(2019年)。MSC公司:68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Björklund}等人,LIPIcs——莱布尼茨国际程序。通知。132,第26条,第13页(2019年;Zbl 07561519) 全文: DOI程序
哈里斯·安吉利达基斯;普兰贾尔·阿瓦西;阿夫林·布鲁姆;查茨亚弗拉提斯,瓦戈斯;Dan,Chen(陈丹) Bilu-Linial稳定性、认证算法和独立集问题。 (英语) Zbl 07525444号 Bender,Michael A.(编辑)等人,第27届欧洲算法年会,《2019年欧洲账户体系》,德国慕尼黑/加兴,2019年9月9日至11日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。144,第7条,第16页(2019年)。MSC公司:68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{H.Angelidakis}等人,LIPIcs——莱布尼茨国际期刊。通知。144,第7条,第16页(2019年;Zbl 07525444) 全文: DOI程序 arXiv公司
亚历山大·巴维诺克;Regts、Guus公司 稀疏方程组解的加权计数。 (英语) 兹比尔1433.68166 梳子。普罗巴伯。计算。 28,第5号,696-719(2019).MSC公司:65年第68季度 05年5月50日 05C65号 05C70号 52B55号 68周25 82B20型 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Barvinok}和\textit{G.Regts},梳。普罗巴伯。计算。28,第5号,696--719(2019;Zbl 1433.68166) 全文: DOI程序 arXiv公司
阿奇利奥普塔斯,迪米特里斯;帕诺斯·西奥多罗普洛斯 使用纠错代码进行模型计数。 (英语) Zbl 1483.68242号 约束条件 24,第2期,162-182(2019).MSC公司:68兰特 68T20型 68瓦20 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{D.Achlioptas}和\textit{P.Theodoropoulos},约束24,No.2,162--182(2019;Zbl 1483.68242) 全文: DOI程序
迪特尔·范·梅尔凯贝克;乔塔姆·普拉克里亚 在太空环境中消除隔离的随机性。 (英语) 兹比尔1430.68109 SIAM J.计算。 48,第3期,979-1021(2019).MSC公司:04年第68季度 2010年第68季度 2015年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.van Melkebeek}和\textit{G.Prakriya},SIAM J.Compute。48,第3号,979--1021(2019;Zbl 1430.68109) 全文: DOI程序
马尔齐奥·德·比亚西;朱霍·劳里 关于修复损坏颜色的复杂性。 (英语) Zbl 1420.05056号 J.库姆。最佳方案。 37,第4期,1150-1169(2019).MSC公司:05C15号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Biasi}和\textit{J.Lauri},J.Comb。最佳方案。37,第4号,1150--1169(2019;Zbl 1420.05056) 全文: DOI程序 arXiv公司
塞瓦格·加里比安;米克洛斯·桑塔;杰米·西科拉;阿瑟·桑达拉姆;贾斯汀·伊尔卡 多项式层次的量子推广及其在QMA中的应用(2)。 (英语) Zbl 1512.68100号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第58条,第16页(2018年)。MSC公司:第68季度12 2015年第68季度 81页68 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gharibian}等人,LIPIcs——莱布尼茨国际期刊。通知。117,第58条,第16页(2018;Zbl 1512.68100) 全文: DOI程序 arXiv公司
安德烈·博格达诺夫 小偏差需要大公式。 (英语) Zbl 1499.68130号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动机、语言和编程国际学术讨论会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第22条,第12页(2018年)。MSC公司:2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bogdanov},LIPIcs——莱布尼茨国际程序。通知。107,第22条,第12页(2018;Zbl 1499.68130) 全文: DOI程序
奥梅尔Reingold;Guy N.罗斯布卢姆。;罗恩·罗斯布卢姆。 UP的高效批验证。 (英语) Zbl 1441.68101号 Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第22条,第23页(2018年)。MSC公司:65年第68季度 2011年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Reingold}等人,LIPIcs——莱布尼茨国际程序。通知。102,第22条,第23页(2018;Zbl 1441.68101) 全文: DOI程序
约翰·M·希区柯克。;哈迪·沙菲 非均匀约简和NP-完全性。 (英语) Zbl 1487.68129号 Niedermeier,Rolf(ed.)等人,第35届计算机科学理论方面研讨会,STACS 2018,法国卡昂,2018年2月28日至3月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第40条,第13页(2018年)。MSC公司:65年第68季度 03日30分 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Hitchcock}和\textit{H.Shafei},LIPIcs——莱布尼茨国际程序。通知。96,第40条,第13页(2018;Zbl 1487.68129) 全文: DOI程序 arXiv公司
戴尔、霍尔格;约翰·拉宾斯卡斯 从近似计数到决策的细粒度减少。 (英语) Zbl 1427.68117号 Diakonikolas,Ilias(编辑)等人,第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。281-288 (2018).MSC公司:65年第68季度 68周25 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{H.Dell}和\textit{J.Lapinskas},摘自:第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。281--288(2018;Zbl 1427.68117) 全文: DOI程序 arXiv公司 链接
埃里克·D·德曼。;妈妈,费米;阿里尔·施瓦茨曼;埃里克·温加滕;斯科特·亚伦森 最少的线索问题。 (英语) Zbl 1403.68080号 西奥。计算。科学。 748, 28-39 (2018).MSC公司:65年第68季度 2017年第68季度 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Demaine}等人,Theor。计算。科学。748,28-39(2018年;兹比尔1403.68080) 全文: DOI程序 链接
纪尧姆·埃斯卡莫彻;穆罕默德·西亚拉;巴里·奥沙利文 从后门钥匙到后门完备性:改进可满足CSP的已知硬度测量。 (英语) 兹比尔1508.68327 van Hoeve,Willem-Jan(编辑),约束编程、人工智能和运筹学的集成。2018年6月26日至29日在荷兰代尔夫特举行的2018年CPAIOR第15届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10848, 198-214 (2018).MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Escamocher}等人,Lect。注释计算。科学。10848198-214(2018年;Zbl 1508.68327) 全文: DOI程序 链接
格雷格·库珀伯格;埃里克·桑珀顿 计算复杂性、3流形和僵尸。 (英语) Zbl 1524.57003号 地理。白杨。 22,第6号,3623-3670(2018).MSC公司:57K31号 57公里16 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kuperberg}和\textit{E.Samperton},Geom。白杨。22,第6号,3623-3670(2018;Zbl 1524.57003) 全文: DOI程序 arXiv公司
阿奇利奥普塔斯,迪米特里斯;扎伊德·哈穆德;帕诺斯·西奥多罗普洛斯 快速灵活的概率模型计数。 (英语) Zbl 1511.68242号 Beyersdorff,Olaf(编辑)等人,《可满足性测试的理论和应用——2018年SAT》。2018年7月9日至12日在英国牛津举行的2018年第21届国际会议(SAT 2018),作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10929, 148-164 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Achlioptas}等人,Lect。注释计算。科学。10929、148--164(2018年;Zbl 1511.68242) 全文: DOI程序
米卡·哥尔斯;托尼安·皮塔西;托马斯·沃森 通信复杂性类的前景。 (英语) Zbl 1398.68180号 计算。复杂性 27,第2期,245-304(2018).MSC公司:2015年第68季度 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gös}等人,《计算》。复杂性27,No.2,245--304(2018;Zbl 1398.68180) 全文: DOI程序 链接
Mirosław科瓦卢克;安德烈·林加 唯一子图不容易找到吗? (英语) Zbl 1476.68211号 信息处理。莱特。 134, 57-61 (2018).MSC公司:68兰特 05C60型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kowaluk}和\textit{A.Lingas},信息处理。莱特。134、57-61(2018年;Zbl 1476.68211) 全文: DOI程序
克里斯蒂安·施里德 关于布尔公式中平面二分双覆盖图的构造及其在计数满足解中的应用。 (英语) Zbl 1388.68240号 西奥。计算。科学。 719, 21-45 (2018).MSC公司:68兰特 05年10月 05年5月50日 05C70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.Schride},Theor。计算。科学。719,21-45(2018年;兹比尔1388.68240) 全文: DOI程序
马克·杰鲁姆 计算约束满足问题。 (英语) Zbl 1482.68164号 Krokhin,Andrei(编辑)等人,《约束满足问题:复杂性和近似性》,Dagstuhl研讨会153012015年7月。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7,205-231(2017)。MSC公司:68兰特 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Jerrum},Dagstuhl Follow-Ups 7,205--231(2017;Zbl 1482.68164) 全文: DOI程序
罗素·英帕利亚佐;瓦伦丁·卡巴内茨;安东尼娜·科洛科洛娃;皮埃尔·麦肯齐;沙达卜·罗曼尼 查看电路内部有帮助吗? (英语) Zbl 1440.68079号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第1条,第13页(2017年)。MSC公司:2006年第68季度 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Impagliazzo}等人,LIPIcs——莱布尼茨国际程序。通知。83,第1条,第13页(2017年;兹bl 1440.68079) 全文: DOI程序
莱斯利·安·戈德伯格;郭恒 复值Ising和Tutte配分函数逼近的复杂性。 (英语) Zbl 1382.68090号 计算。复杂性 26,第4期,765-833(2017).MSC公司:2017年第68季度 05C31号 第68季度12 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Goldberg}和\textit{H.Guo},计算。复杂性26,编号4,765--833(2017;Zbl 1382.68090) 全文: DOI程序 arXiv公司 链接
德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 SMT中的近似计数和概率程序的值估计。 (英语) 兹比尔1380.68117 学报信息。 54,第8期,729-764(2017).MSC公司:68号30 68T20型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,《信息学报》54,第8期,第729--764页(2017年;Zbl 1380.68117) 全文: DOI程序 arXiv公司 链接
李、钱;孙晓明 关于布尔函数的模度复杂性。 (英语) Zbl 1433.68174号 曹一新(编辑)等,《计算与组合学》。第23届国际会议,COCOON 2017,中国香港,2017年8月3-5日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10392, 384-395 (2017).MSC公司:65年第68季度 06年3月30日 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}和\textit{X.Sun},Lect。注释计算。科学。10392384-395(2017年;兹bl 1433.68174) 全文: DOI程序
川崎,Akinori;本杰明·罗斯曼;渡边,乌萨木 证人发现的查询复杂性。 (英语) 兹比尔1379.68170 理论计算。系统。 61,第2号,305-321(2017).MSC公司:65年第68季度 68页30 2017年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kawachi}等人,理论计算。系统。61,第2号,305-321(2017;Zbl 1379.68170) 全文: DOI程序 链接
巴斯,山姆 ACC表示的统一证明。 (英语) Zbl 1406.03053号 架构(architecture)。数学。逻辑 56,编号5-6,639-669(2017). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:2015年3月1日 03D20日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss},拱门。数学。逻辑56,编号5--6639--669(2017;Zbl 1406.03053) 全文: DOI程序
奥马尔·莱因戈尔德;Guy N.罗斯布卢姆。;罗恩·罗斯布卢姆。 委托计算的持续交互式证明。 (英语) Zbl 1373.68274号 Wichs,Daniel(编辑)等人,《第48届ACM SIGACT计算理论研讨会论文集》,STOC’16,美国马萨诸塞州剑桥,2016年6月19-21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4132-5)。49-62 (2016).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Reingold}等人,摘自:2016年6月19-21日美国马萨诸塞州剑桥市STOC’16第48届ACM SIGACT计算理论年会论文集。纽约州纽约市:计算机协会(ACM)。49-62(2016;Zbl 1373.68274) 全文: DOI程序
斯蒂芬·克伦;彼得扎克(Pietrzak,Krzysztof);阿克谢·瓦迪亚;丹尼尔·威克斯 条件HILL熵链式法则的反例。 (英语) Zbl 1369.94550号 计算。复杂性 25,第3期,567-605(2016).MSC公司:94A60型 2017年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{S.Krenn}等人,计算。复杂性25,No.3,567--605(2016;Zbl 1369.94550) 全文: DOI程序
兹维卡·布拉克斯基;克里斯蒂娜·布尔祖斯卡;尼尔斯·弗利什哈克 具有近似正确性的统计安全模糊处理。 (英语) Zbl 1391.94734号 Robshaw,Matthew(编辑)等人,《密码学进展——密码2016》。2016年8月14日至18日在美国加利福尼亚州圣巴巴拉举行的第36届年度国际密码学会议。诉讼程序。第二部分。柏林:施普林格出版社(ISBN 978-3-662-53007-8/pbk;978-3-562-53008-5/电子书)。计算机科学讲座笔记9815,551-578(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Brakerski}等人,Lect。注释计算。科学。9815,551--578(2016;Zbl 1391.94734) 全文: DOI程序
帕特里克·特拉克斯勒 满足赋值的近似计数的相对指数时间复杂度。 (英语) Zbl 1344.68101号 算法 75,第2期,339-362(2016).MSC公司:65年第68季度 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{P.Traxler},Algorithmica 75,No.2,339--362(2016;Zbl 1344.68101) 全文: DOI程序 arXiv公司
蔡·T·托尼;梁腾元;亚历山大·拉赫林 一般高维线性反问题的几何推断。 (英语) Zbl 1357.62235号 Ann.统计。 44,第4期,1536-1563(2016).MSC公司:62J05型 62甲12 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Cai}等人,Ann.Stat.44,No.4,1536--1563(2016;Zbl 1357.62235) 全文: DOI程序 arXiv公司 欧几里得
雅各布·D·比亚蒙特。;杰森·莫顿;雅各布·特纳 #SAT的张量网络收缩。 (英语) Zbl 1341.68053号 《统计物理学杂志》。 160,第5期,1389-1404(2015).MSC公司:第68季度12 81页68 82-08 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Biamonte}等人,J.Stat.Phys。160,第5号,1389--1404(2015;Zbl 1341.68053) 全文: DOI程序 arXiv公司
安德烈亚斯·比约克隆德;戴尔、霍尔格;托尔·胡斯菲尔德 随机约束下集合系统的奇偶性及其在指数时间问题中的应用。 (英语) Zbl 1441.68065号 Halldórsson,Magnús M.(编辑)等人,自动机、语言和编程。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第一部分柏林:施普林格。勒克特。注释计算。科学。9134, 231-242 (2015).MSC公司:2017年第68季度 2015年第68季度 68年第27季度 68兰特 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \文本{A.Björklund}等人,Lect。注释计算。科学。9134、231--242(2015;Zbl 1441.68065) 全文: DOI程序
马蒂恩·范埃;莱内·西特斯 关于主问题的复杂性。 (英语) Zbl 1465.68110号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第二部分。柏林:斯普林格。勒克特。注释计算。科学。9235, 567-576 (2015).MSC公司:65年第68季度 2017年第68季度 68卢比 90立方厘米27 PDF格式BibTeX公司 XML格式引用 \textit{M.van Ee}和\textit{R.Sitters},莱克特。注释计算。科学。9235,567--576(2015;Zbl 1465.68110) 全文: DOI程序
塞缪尔·R·巴斯。;Kołodziejczyk、Leszek Aleksander;康拉德·兹达诺夫斯基 有界算术和恒定深度命题证明中的折叠模计数。 (英语) Zbl 1353.03071号 事务处理。美国数学。Soc公司。 367,第11号,7517-7563(2015). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:20层03 30楼03号 03B05号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}等人,Trans。美国数学。Soc.367,No.11,7517--7563(2015;Zbl 1353.03071) 全文: DOI程序
爱德华·赫施。;德米特里·索科洛夫 关于松散明确层次的概率闭包。 (英语) Zbl 1329.68144号 信息处理。莱特。 115,第9期,725-730(2015).MSC公司:65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{D.Sokolov},Inf.过程。莱特。115,第9号,725--730(2015;Zbl 1329.68144) 全文: DOI程序
吉安路易吉·格雷科;恩里科·马利齐亚;路易吉·帕洛波利;弗朗西斯科·斯卡切罗 紧凑博弈中核仁的复杂性。 (英语) Zbl 1348.91073号 ACM事务处理。计算。理论 7,第1号,第3条,52页(2014年).MSC公司:91A43型 91A12号机组 2017年第68季度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人,ACM Trans。计算。理论7,第1号,第3条,52页(2014;Zbl 1348.91073) 全文: DOI程序 链接
帕特里克·特拉克斯勒 满足赋值的近似计数的相对指数时间复杂度。 (英语) Zbl 1341.68067号 Cygan,Marek(编辑)等人,《参数化和精确计算》。2014年9月10日至12日在波兰弗罗茨瓦夫举行的IPEC 2014第九届国际研讨会。修改选定的论文。查姆:施普林格(ISBN 978-3-319-13523-6/pbk;978-3-316-13524-3/电子书)。《计算机科学讲义》8894,332-341(2014)。MSC公司:65年第68季度 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{P.Traxler},莱克特。注释计算。科学。8894、332--341(2014;Zbl 1341.68067) 全文: DOI程序 arXiv公司
沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 抽象论证的复杂敏感决策程序。 (英语) Zbl 1334.68206号 Artif公司。智力。 206, 53-78 (2014).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,Artif。智力。206,53-78(2014年;兹比尔1334.68206) 全文: DOI程序
莱恩·威廉姆斯 非均匀ACC电路下限。 (英语) Zbl 1295.68117号 美国临床医学杂志 61,第1号,第2条,32页(2014年).MSC公司:2015年第68季度 2017年第68季度 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Williams},J.ACM 61,第1号,第2条,32页(2014;Zbl 1295.68117) 全文: DOI程序
安德烈·博格达诺夫;郭思尧 所有熵的稀疏提取器族。 (英语) Zbl 1364.94224号 2013年1月9日至12日,美国加利福尼亚州伯克利市ITCS’13第四届理论计算机科学创新会议论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1859-4)。553-560 (2013).MSC公司:94甲17 15B52号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bogdanov}和\textit{S.Guo},《第四届理论计算机科学创新会议论文集》,ITCS’13,美国加州伯克利,2013年1月9日至12日。纽约州纽约市:计算机协会(ACM)。553-560(2013年;Zbl 1364.94224) 全文: DOI程序 arXiv公司
阿米尔·达内什加;阿里雷扎·拉希米;Siamak塔蒂 函数模拟、图形语法和着色。 (英语) Zbl 1273.05063号 国际期刊计算。数学。 90,第7期,1334-1357(2013).MSC公司:05C15号 05立方厘米85 2012年第68季度 68卢比 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Daneshgar}等人,《国际计算杂志》。数学。90,第7号,1334--1357(2013;Zbl 1273.05063) 全文: DOI程序
Mirosław科瓦卢克;安德烈·林加;伊娃·玛塔·伦德尔 唯一的子图不容易找到。 (英语) Zbl 1310.68113号 国际期刊计算。数学。 90,第6期,1247-1253(2013).MSC公司:68兰特 65年第68季度 05C60型 05立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kowaluk}等人,国际计算机杂志。数学。90,第6号,1247--1253(2013;Zbl 1310.68113) 全文: DOI程序
戴尔、霍尔格;瓦伦丁·卡巴内茨;迪特尔·范·梅尔凯贝克;渡边,乌萨木 瓦利安特·瓦奇拉尼的隔离概率可以提高吗? (英语) Zbl 1286.68167号 计算。复杂性 22,第2期,345-383(2013).MSC公司:2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.戴尔}等人,计算。复杂性22,No.2,345--383(2013;Zbl 1286.68167) 全文: DOI程序
蒙托亚,胡安·安德烈斯;莫里茨·米勒 参数化随机复杂性。 (英语) Zbl 1288.68082号 理论计算。系统。 52,第2期,221-270(2013).MSC公司:2015年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Montoya}和\textit{M.米勒},理论计算。系统。52,No.2,221--270(2013;Zbl 1288.68082) 全文: DOI程序
兰德伯格,J.M。;杰森·莫顿;塞尔盖·诺琳 无匹配门的全息算法。 (英语) Zbl 1257.05007号 线性代数应用。 438,第2期,782-795(2013).MSC公司:2015年1月5日 05C70号 2017年第68季度 2010年第68季度 68周05 2005年第68季度 15B99型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Landsberg}等人,《线性代数应用》。438,No.2,782--795(2013;Zbl 1257.05007) 全文: DOI程序 arXiv公司
鲁本·马丁斯;Vasco Manquinho公司;林奇,因斯 并行SAT求解概述。 (英语) Zbl 1309.90057号 约束条件 17,第3号,304-347(2012).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{R.Martins}等人,《约束17》,第3期,304--347(2012;Zbl 1309.90057) 全文: DOI程序
鲍里斯·阿列克谢夫;詹姆逊·卡希尔;混合物,Dustin G。 全火花框架。 (英语) Zbl 1257.42040号 J.傅里叶分析。申请。 18,第6期,1167-1194(2012).MSC公司:42立方厘米 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alexeev}等人,J.Fourier Ana。申请。18,第6号,1167--1194(2012;Zbl 1257.42040) 全文: DOI程序 arXiv公司
拉胡尔·桑塔纳姆 显式结构的复杂性。 (英语) Zbl 1282.68178号 理论计算。系统。 51,第3号,297-312(2012).MSC公司:68卢比 2015年第68季度 2017年第68季度 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Santhanam},理论计算。系统。51,第3号,297--312(2012;Zbl 1282.68178) 全文: DOI程序 链接
索加塔省巴苏 托达定理的复杂模拟。 (英语) Zbl 1268.14016号 已找到。计算。数学。 12,第3号,327-362(2012). 审核人:约瑟夫·希乔(林茨) MSC公司:14层25 2014年第20季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu},已找到。计算。数学。12,第3号,327--362(2012;Zbl 1268.14016) 全文: DOI程序 arXiv公司
罗德·唐尼 参数化复杂性的诞生和早期。 (英语) Zbl 1358.68129号 Bodlaender,Hans L.(编辑)等人,《多元算法革命及其以外》。纪念迈克尔·R·费罗斯60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-30890-1/pbk)。计算机科学讲义7370,17-38(2012)。MSC公司:65年第68季度 68-03 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey},莱克特。注释计算。科学。7370,17-38(2012年;兹bl 1358.68129) 全文: DOI程序
亨宁·旺德利希 关于Razborov的一个定理。 (英语) Zbl 1279.68100号 计算。复杂性 21,第3期,431-477(2012).MSC公司:2015年第68季度 2017年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{H.Wunderlich},计算。复杂性21,No.3,431--477(2012;Zbl 1279.68100) 全文: DOI程序
马库斯·巴泽尔;戴尔、霍尔格;马哈茂德·福兹 覆盖多项式的复杂性和逼近性。 (英语) 兹伯利1267.68117 计算。复杂性 21,第3期,359-419(2012).MSC公司:2017年第68季度 05C31号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bläser}等人,计算。复杂性21,No.3,359--419(2012;Zbl 1267.68117) 全文: DOI程序
马滕·范登内斯特 描述量子多体态的单项式矩阵形式。 (英语) Zbl 1448.82015年 新J.Phys。 13,第12号,文章ID 123004,26 p.(2011).MSC公司:82B23型 81U15型 81V70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Van den Nest},《新物理学杂志》。13,第12号,文章ID 123004,26 p.(2011;Zbl 1448.82015) 全文: DOI程序 arXiv公司 OA许可证
O.L.Mangasarian。;本杰明·雷赫特 线性方程组唯一整数解的概率。 (英语) Zbl 1218.90112号 欧洲药典。物件。 214,第1期,第27-30页(2011年).MSC公司:90C05(二氧化碳) 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{O.L.Mangasarian}和\textit{B.Recht},欧洲期刊Oper。第214号决议,第1号,第27--30号(2011年;Zbl 1218.90112) 全文: DOI程序
郭恒;卢、品彦;莱斯利·瓦利安特(Leslie G.Valiant)。 对称布尔奇偶Holant问题的复杂性(扩展抽象)。 (英语) Zbl 1333.68144号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。第38届国际学术讨论会,ICALP 2011,瑞士苏黎世,2011年7月4日至8日。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-22005-0/pbk)。计算机科学课堂讲稿6755712-723(2011)。MSC公司:65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Guo}等人,Lect。注释计算。科学。6755712--723(2011年;Zbl 1333.68144) 全文: DOI程序
福特诺,兰斯;格罗乔,约书亚·A。 重温等价问题的复杂性类别。 (英语) Zbl 1238.68061号 Inf.计算。 209,第4期,748-763(2011). 审核人:克劳斯·萨特纳(匹兹堡) MSC公司:2015年第68季度 81页68 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fortnow}和\textit{J.A.Grochow},Inf.Compute。209,第4号,748--763(2011;Zbl 1238.68061) 全文: DOI程序 arXiv公司
弗朗西斯科·巴列斯特因;罗莎·布兰科 资源约束项目调度问题中多目标优化的理论和实践基础。 (英语) Zbl 1231.90173号 计算。操作。物件。 38,第1号,51-62(2011).MSC公司:90B35型 90 C59 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{F.Ballestín}和\textit{R.Blanco},计算。操作。第38号决议,第1号,第51--62号(2011年;Zbl 1231.90173) 全文: DOI程序
O.L.Mangasarian。;费里斯,M.C。 线性方程组整数解的唯一性。 (英语) Zbl 1202.90196号 最佳方案。莱特。 4,第4号,559-565(2010).MSC公司:90立方厘米 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{O.L.Mangasarian}和\textit{M.C.Ferris},Optim。莱特。4,第4号,559--565(2010;Zbl 1202.90196) 全文: DOI程序
巴苏,索加塔;蒂埃里·泽尔 多项式层次、贝蒂数和托达定理的实际类似物。 (英语) Zbl 1200.14108号 已找到。计算。数学。 10,第4期,429-454(2010).MSC公司:第14页 14第25页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}和\textit{T.Zell},已找到。计算。数学。10,第4号,429--454(2010;Zbl 1200.14108) 全文: DOI程序 arXiv公司
阿莫斯·贝梅尔;塔尔·马尔金;科比·尼西姆;埃纳夫·温勒布 我们应该如何私下解决搜索问题? (英语) Zbl 1182.94036号 J.密码学 23,第2期,344-371(2010).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Beimel}et al.,J.Cryptology 23,No.2,344--371(2010;Zbl 1182.94036) 全文: DOI程序 链接