大卫·加马尼克;奥科什·贾加纳特;亚历山大·韦恩(Alexander S.Wein)。 布尔电路、低阶多项式和朗之万动力学随机优化问题的困难。 (英语) Zbl 07810342号 SIAM J.计算。 53,编号1,1-46(2024).MSC公司:2006年第68季度 2017年第68季度 65年第68季度 87年第68季度 82天30分 58J65型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gamarnik}等人,SIAM J.Compute。53,编号1,1--46(2024;Zbl 07810342) 全文: 内政部 arXiv公司
Shimon P.Vingron。 逻辑电路设计。选定的主题和方法。第二版。 (英语) Zbl 1530.94001号 查姆:施普林格(ISBN 978-3-031-40672-0/hbk;978-3-331-40675-1/pbk;978-1-031-40673-7/电子书)。xii,240页。(2024).MSC公司:94-01 94C11号机组 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.P.Vingron},逻辑电路设计。选定的主题和方法。第二版。查姆:施普林格(2024;Zbl 1530.94001) 全文: 内政部
大卫·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) 全文: 内政部
科尔·怀斯;卡尔·斯塔蒂万特 算法信息理论的电路复杂性公式。 (英语) Zbl 07767809号 物理D 456,文章ID 133925,7 p.(2023).MSC公司:68倍 94-XX年 PDF格式BibTeX公司 XML格式引用 \textit{C.Wyeth}和\textit{C.Sturtivant},Physica D 456,文章ID 133925,第7页(2023;Zbl 07767809) 全文: 内政部 arXiv公司
玛莎·施尼伯 近似函数的多项式形式验证。 (英语) Zbl 07761099号 最佳大师威斯巴登:Springer Vieweg;不来梅:不来梅大学(硕士论文)(ISBN 978-3-658-41887-8/pbk;978-3-558-41888-5/电子书)。x、 第79页。(2023).MSC公司:68-02 2006年第68季度 65年第68季度 第68季度第60季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Schnieber},近似函数的多项式形式验证。威斯巴登:斯普林格·维埃格;不来梅:不来梅大学(硕士论文)(2023;Zbl 07761099) 全文: 内政部
Shrihari Sridharan;萨钦德拉纳特·贾亚拉曼;Prajapaty、Yogesh Kumar 极大代数中矩阵乘积的动力学。 (英语) Zbl 1525.15021号 离散事件动态。系统。 33,第2期,161-179(2023).MSC公司:15A80型 15甲18 15B34型 15A60型 第47页第12页 37C25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Sridharan}等人,《离散事件动力学》。系统。33,第2号,161--179(2023;Zbl 1525.15021) 全文: 内政部 arXiv公司
基里尔·波普科夫。 在某些情况下,对带有两个附加输入的电路进行简短完整的诊断测试。 (英语。俄文原件) Zbl 1530.94073号 离散数学。申请。 33,编号4,219-230(2023); 从Diskretn翻译。材料34,编号2,67-82(2022)。MSC公司:94C12号机组 2006年第68季度 94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},离散数学。申请。33,编号4,219--230(2023;Zbl 1530.94073);从Diskretn翻译。材料34,编号2,67--82(2022) 全文: 内政部
朱成凯;黄振宇 优化线性层量子实现的深度。 (英语) Zbl 1530.81060号 邓毅(编辑)等,《信息安全与密码学》。2022年12月11日至13日,第18届国际会议,Inscrypt 2022,中国北京。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13837, 129-147 (2023).MSC公司:81页94 94B70型 94A60型 81页70 47号70 81页68 81S22号 68平方米25 81页65 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhu}和\textit{Z.Huang},Lect。注释计算。科学。13837129-147(2023年;Zbl 1530.81060) 全文: 内政部
罗尔夫·德雷克斯勒(编辑);塞巴斯蒂安·胡恩(编辑) 高级布尔技术。2022年9月22日至23日,德国不来梅IWSBP第15届布尔问题国际研讨会论文集。 (英语) Zbl 1530.94004号 查姆:施普林格(ISBN 978-3-031-28915-6/hbk;978-3-0.31-28918-7/pbk;978-1-031-28916-3/电子书)。viii,172页。(2023).MSC公司:94-06 68-06 2006年第68季度 94C11号机组 94D10号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}(编辑)和\textit{S.Huhn}(编),高级布尔技术。第15届布尔问题国际研讨会论文选集,IWSBP,德国不来梅,2022年9月22日至23日。查姆:施普林格(2023;Zbl 1530.94004) 全文: 内政部
安杰伊·林加斯 单调(q)-多线性布尔电路的下界。 (英语) Zbl 1528.94128号 Gąsieniec,Leszek(编辑),SOFSEM 2023:计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议,SOFSEM 2023,斯洛伐克斯莫科维奇,2023年1月15日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13878, 301-312 (2023).MSC公司:94C11号机组 PDF格式BibTeX公司 XML格式引用 \文本{A.Lingas},Lect。注释计算。科学。13878,301-312(2023;Zbl 1528.94128) 全文: 内政部
V.V.科切金。;米哈伊洛维奇,A.V。 (k)值逻辑函数非单调复杂度估计的改进。 (英语。俄文原件) Zbl 1527.94097号 数学。笔记 113,编号6,794-803(2023); 翻译自Mat.Zametki 113,No.6,849-862(2023)。MSC公司:94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kochergin}和\textit{A.V.Mikhailovich},数学。注释113,第6号,794--803(2023;Zbl 1527.94097);翻译自Mat.Zametki 113,No.6,849-862(2023) 全文: 内政部
拉马克里希南,巴拉默里;伊西多尔·科莫福·恩贡吉亚;谢尔达尔·切克;安德烈·切热(AndréChéagé)·尚古埃;盖坦·福佐·奎亚特 平滑非线性电阻电容并联约瑟夫逊结电路的理论分析及其基于微控制器的图形液晶数字设计。 (英语) Zbl 1510.94101号 电路系统。信号处理。 42,编号1,47-62(2023).MSC公司:94C05(二氧化碳) 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Ramakrishnan}等人,《电路系统》。信号处理。42,编号1,47-62(2023;兹bl 1510.94101) 全文: 内政部
波普科夫,K.A。 实现线性布尔函数的电路的简短完整诊断测试。 (英语。俄文原件) Zbl 1517.94214号 数学。笔记 113,第1号,80-92(2023); 翻译自Mat.Zametki 113,No.1,75-89(2023)。MSC公司:94C11号机组 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},数学。注释113,编号1,80-92(2023;Zbl 1517.94214);翻译自Mat.Zametki 113,No.1,75--89(2023) 全文: 内政部
埃琳娜·克拉苏琳娜。 关于分离接触电路类中一些基本连词系统的实现。 (英语。俄文原件) Zbl 07659647号 离散数学。申请。 33,编号1,19-29(2023); 从Diskretn翻译。材料33,编号4,47-60(2021)。MSC公司:2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Krasulina},离散数学。申请。33,编号1,19--29(2023;Zbl 07659647);从Diskretn翻译。材料33,编号4,47-60(2021) 全文: 内政部
尤利娅·博罗迪纳五世。 在Zhegalkin基础上的一些易于测试的电路类。 (英语。俄文原件) Zbl 1517.94212号 离散数学。申请。 33,编号1,1-6(2023); 从Diskretn翻译。材料33,编号4,3-10(2021)。MSC公司:94C11号机组 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.V.Borodina},离散数学。申请。33,编号1,1--6(2023;Zbl 1517.94212);从Diskretn翻译。材料33,编号4,3-10(2021) 全文: 内政部
朱明强;程雪云;朱鹏程;陈亮;关志进 物理约束感知的CNOT量子电路综合与优化。 (英语) Zbl 1508.81408号 量子信息处理。 22,第1号,第10号论文,第19页(2023年).MSC公司:81页65 第81页第47页 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhu}等人,量子信息过程。22,第1号,第10号论文,第19页(2023年;Zbl 1508.81408) 全文: 内政部
樊志远;李佳图;杨天奇 伪随机函数的精确复杂性和用于引导的黑盒自然证明屏障导致了计算复杂性。 (英语) Zbl 07774392号 Leonardi,Stefano(ed.)等人,《第54届ACM SIGACT计算理论研讨会论文集》,STOC’22,罗马,意大利,2022年6月20日至24日。纽约州纽约市:计算机协会(ACM)。962-975 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Fan}等人,in:第54届ACM SIGACT计算理论研讨会论文集,STOC’22,罗马,意大利,2022年6月20-24日。纽约州纽约市:计算机协会(ACM)。962--975(2022;Zbl 07774392) 全文: 内政部
瓦迪姆·瓦西尔·埃维奇·科切金 关于O.M.Kasim-zade在复杂性理论和多值逻辑理论领域的论文。 (俄语。英文摘要) Zbl 1527.94002号 切比雪夫斯基。 23,第2号(83),121-150(2022).MSC公司:94-03 68-03 94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kochergin},ChebyshevskiĭSb.23,No.2(83),121-150(2022;Zbl 1527.94002) 全文: 内政部 MNR公司
A.Yu Matrosova。;南卡罗来纳州奥斯塔宁。;戈辛,G.G。 推导TMR技术的近似逻辑电路。 (英语。俄文原件) Zbl 1520.81039号 俄罗斯物理。J。 65,编号4,751-760(2022); Izv的翻译。维什。Uchebn。扎维德。,菲兹。65,第4期,第150-159页(2022年)。MSC公司:81页68 第68季度12 81页第10页 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Matrosova}等人,《俄罗斯物理学》。J.65,No.4,751--760(2022;Zbl 1520.81039);Izv的翻译。维什。Uchebn。扎维德。,菲兹。65,第4号,150--159(2022) 全文: 内政部
波普科夫,K.A。 在一个无限基础上对逻辑电路进行简短完整的诊断测试。 (英语。俄文原件) Zbl 1517.94213号 莫斯科。大学数学。牛市。 77,第5号,250-253(2022); 维斯特翻译。莫斯科。州立大学。I 77,第5期,第51-54页(2022年)。MSC公司:94C11号机组 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},莫斯克。大学数学。牛市。77,编号5,250-253(2022;Zbl 1517.94213);维斯特翻译。莫斯科。州立大学。I 77,编号5,51-54(2022) 全文: 内政部
安德鲁·阿达马茨基;菲尔·艾尔斯;亚历山大·比斯利。;尼克·罗伯茨;Wösten,Han A.B。 真菌菌丝体网络中的逻辑。 (英语) Zbl 1507.68115号 日志。Univers大学。 16,第4号,655-669(2022).MSC公司:2007年第68季度 2006年第68季度 92年2月25日 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Adamatzky}等人,日志。Univers大学。16,编号4,655——669(2022;兹bl 1507.68115) 全文: 内政部 arXiv公司
德米特里五世·扎卡布卢科夫。 收缩:由NOT、CNOT和2-CNOT门组成的可逆电路的合成,带有少量附加输入。 (英语。俄文原件) Zbl 1509.94179号 离散数学。申请。 32,第6号,439-444(2022); 从Diskretn翻译。材料33,编号3,46-54(2021);收回注释离散数学。申请。32,第6期,第418页(2022年)。MSC公司:94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Zakablukov},离散数学。申请。32,编号6,439–444(2022;兹bl 1509.94179);从Diskretn翻译。材料33,编号3,46-54(2021);收回注释离散数学。申请。32,第6号,第418页(2021年) 全文: 内政部
德米特里五世·扎卡布卢科夫。 撤回注释:“由NOT、CNOT和2-CNOT门组成的可逆电路的合成,带有少量附加输入”。 (英语) Zbl 1509.94178号 离散数学。申请。 32,第6号,第418页(2022年).MSC公司:94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Zakablukov},离散数学。申请。32、6号、418(2022年;Zbl 1509.94178) 全文: 内政部
基里尔·波普科夫。 用最小均匀宽度的接触电路实现布尔函数。 (英语。俄文原件) Zbl 1517.94215号 离散数学。申请。 32,编号6,403-415(2022); 从Diskretn翻译。材料33,编号4,94-109(2021)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},离散数学。申请。32,编号64003-415(2022;Zbl 1517.94215);从Diskretn翻译。材料33,编号4,94--109(2021) 全文: 内政部
德米特里五世·扎卡布卢科夫。 关于由NOT、CNOT、2-CNOT门和少量附加输入组成的可逆电路的综合。 (英语。俄文原件) Zbl 1509.94177号 离散数学。申请。 32,编号4,279-284(2022); 从Diskretn翻译。材料33,编号3,46-53(2021)。MSC公司:94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Zakablukov},离散数学。申请。32,编号4,279--284(2022;Zbl 1509.94177);从Diskretn翻译。材料33,编号3,46-53(2021) 全文: 内政部
洛日金,S.A。 针对功能元件电路的复杂性,对香农函数的边界进行了细化。 (英语。俄文原件) Zbl 1511.68120号 莫斯科。大学数学。牛市。 77,第3期,144-153(2022); 维斯特翻译。莫斯科。州立大学。I 77,第3期,32-40(2022年)。MSC公司:2006年第68季度 06E30年 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Lozhkin},莫斯克。大学数学。牛市。77,第3号,144--153(2022;Zbl 1511.68120);维斯特翻译。莫斯科。州立大学。I 77,编号3,32-40(2022) 全文: 内政部
A.V.查什金。 用无记忆程序实现单调布尔函数。 (英语。俄文原件) Zbl 1511.68119号 莫斯科。大学数学。牛市。 77,第3期,136-143(2022); 维斯特翻译。莫斯科。州立大学。I 77,第3期,25-32(2022年)。MSC公司:2006年第68季度 06E30年 65年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chashkin},莫斯克。大学数学。牛市。77,No.3,136--143(2022;Zbl 1511.68119);维斯特翻译。莫斯科。州立大学。I 77,编号3,25-32(2022) 全文: 内政部
新泽西州雷德金。 关于通过功能元件电路实现球体特征功能的复杂性。 (英语。俄文原件) Zbl 1507.94076号 莫斯科。大学数学。牛市。 77,第3期,127-130(2022年); 维斯特翻译。莫斯科。州立大学。I 77,第3期,第18-20页(2022年)。MSC公司:94C11号机组 2006年第68季度 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Red'kin},莫斯克。大学数学。牛市。77,第3号,127--130(2022;Zbl 1507.94076);维斯特翻译。莫斯科。州立大学。I 77,编号3,18-20(2022) 全文: 内政部
黄宣贵;伊曼纽尔·维奥拉 近似程度、权重和不可区分性。 (英语) Zbl 1495.68063号 ACM事务处理。计算。理论 14,第1号,第3号论文,第26页(2022年).MSC公司:2006年第68季度 41A10号 60摄氏度05 87年第68季度 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}和\textit{E.Viola},ACM翻译。计算。理论14,第1号,论文3,26页(2022年;Zbl 1495.68063) 全文: 内政部
丹尼尔·蒙迪奇 串并联网络的一次读取公式。 (英语) Zbl 07574724号 离散应用程序。数学。 320, 304-310 (2022).MSC公司:06 Exx公司 91轴 06月XX日 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici},离散应用程序。数学。320、304--310(2022;Zbl 07574724) 全文: 内政部
孙晓明;孙、袁;吴克文;夏志宇 关于能量复杂性与其他布尔函数度量之间的关系。 (英语) Zbl 1495.90163号 J.库姆。最佳方案。 43,第5期,1470-1492(2022).MSC公司:90C27型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{X.Sun}等人,J.Comb。最佳方案。43,第5号,1470--1492(2022;Zbl 1495.90163) 全文: 内政部 arXiv公司
波普科夫,K.A。 在标准基础上,对具有一个附加输入的电路进行简短完整的诊断测试。 (俄语。英文摘要) Zbl 1497.94201号 普里克尔。Diskretn公司。材料。 2022年,第56104-112号(2022).MSC公司:94C11号机组 94C12号机组 94D10号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},普里克尔。Diskretn公司。材料2022,编号56,104--112(2022;Zbl 1497.94201) 全文: 内政部 MNR公司
赖庆毅;程浩昌 学习一些T门的量子电路。 (英语) Zbl 1505.81030号 IEEE传输。Inf.理论 68,第6号,3951-3964(2022).MSC公司:81页68 81页65 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.-Y.Lai}和\textit{H.-C.Cheng},IEEE Trans。Inf.Theory 68,No.6,3951--3964(2022年;Zbl 1505.81030) 全文: 内政部 arXiv公司
阿尔卡德夫查托帕迪亚伊;尼基尔·曼德。 简短的等式列表会产生较大的符号库。 (英语) Zbl 1502.68124号 SIAM J.计算。 51,第3号,820-848(2022).MSC公司:2011年第68季度 2006年第68季度 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chattopadhyay}和\textit{N.S.Mande},SIAM J.Compute。51,第3号,820--848(2022;Zbl 1502.68124) 全文: 内政部
斯塔西斯·朱克纳;安杰伊·林加斯 有界否定宽度的布尔电路的下限。 (英语) Zbl 1492.68048号 J.计算。系统。科学。 129, 90-105 (2022).MSC公司:2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jukna}和\textit{A.Lingas},J.Compute。系统。科学。129、90-105(2022年;Zbl 1492.68048) 全文: 内政部
马雷克·德雷斯勒;亚当·库皮斯;蒂莫·德·沃尔夫 基于非负电路多项式和的布尔超立方体优化。 (英语) Zbl 07533992号 已找到。计算。数学。 22,第2号,365-387(2022).MSC公司:第14页 65年第68季度 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dressler}等人,发现。计算。数学。22,第2号,365-387(2022;Zbl 07533992) 全文: 内政部
吕比奇,我是G。;德米特里·罗曼诺夫。 任意基上电路中门反转故障的单一诊断测试。 (英语。俄文原件) Zbl 1492.94228号 离散数学。申请。 32,编号1,1-9(2022); 从Diskretn翻译。材料33,编号1,20-30(2021)。MSC公司:94C12号机组 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.G.Lyubich}和\textit{D.S.Romanov},离散数学。申请。32,编号1,1-9(2022;Zbl 1492.94228);从Diskretn翻译。材料33,编号1,20--30(2021) 全文: 内政部
波普科夫,K.A。 在最多有两个输入的不可靠门的自校正逻辑电路上。 (英语。俄文原件) Zbl 1490.94085号 数学。笔记 111,编号1,157-160(2022); 翻译自Mat.Zametki 111,No.1,145-148(2022)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},数学。注释111,第1号,157--160(2022;Zbl 1490.94085);翻译自Mat.Zametki 111,No.1,145--148(2022) 全文: 内政部
乌尔里奇·布伦纳;安娜·西尔瓦努斯;Jannik Silvanus公司 构造加法器和而且-或者路径。 (英语) Zbl 07471556号 离散应用程序。数学。 310, 10-31 (2022).MSC公司:2006年第68季度 06E30年 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{U.Brenner}等人,《离散应用》。数学。310,10-31(2022年;兹bl 0747156) 全文: 内政部 arXiv公司
伯恩德·斯坦巴赫;克里斯蒂安·波斯托夫 逻辑函数和方程。使用XBOOLE-monitor的基本原理和应用程序。第三次扩展和更新版本。 (英语) Zbl 1487.94002号 查姆:施普林格(ISBN 978-3-030-88944-9/hbk;978-3-0.30-88945-6/电子书)。十六、810页。(2022).MSC公司:94-01 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{B.Steinbach}和\textit{C.Posthoff,逻辑函数和方程。使用XBOOLE-monitor的基本原理和应用程序。第三次扩展和更新版本。查姆:施普林格(2022;Zbl 1487.94002) 全文: 内政部
苏里亚吉思·齐拉拉 深度为4的受限算术电路的函数下界。 (英语) Zbl 07799592号 Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第14条,第15页(2021年)。MSC公司:68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Chillara},LIPIcs——莱布尼茨国际程序。通知。213,第14条,第15页(2021;Zbl 07799592) 全文: 内政部 arXiv公司
悉达特·班达里;巴拉德·哈沙;图拉西莫汗·莫利;斯里尼瓦桑 关于实数上OR的概率度。 (英语) Zbl 1524.68132号 随机结构。算法 59,编号1,53-67(2021).MSC公司:2006年第68季度 06E30年 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhandari}等人,《随机结构》。算法59,No.1,53--67(2021;Zbl 1524.68132) 全文: 内政部 arXiv公司
契丹·卡马特;凯伦·克莱恩;彼得扎克(Pietrzak,Krzysztof) 在树的宽度上,分隔符和姚明的乱码。 (英语) Zbl 1520.94059号 Nissim,Kobbi(编辑)等人,《密码学理论》。第19届国际会议,TCC 2021,罗利,北卡罗来纳州,美国,2021年11月8-11日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13043,486-517(2021)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kamath}等人,Lect。注释计算。科学。13043、486--517(2021;Zbl 1520.94059) 全文: 内政部
阿古斯汀·博尔格纳;西蒙·佩德里克斯;贝诺缬氨酸 用ZX演算简化混合量子经典电路。 (英语) Zbl 1507.68114号 哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,美国伊利诺伊州芝加哥,2021年10月17日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13008, 121-139 (2021).MSC公司:2006年第68季度 第68季度12 81页65 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Borgna}等人,Lect。注释计算。科学。13008121-139(2021年;Zbl 1507.68114) 全文: 内政部 arXiv公司
阿努吉·达瓦尔;格雷戈里·威尔塞纳赫 秩逻辑的对称电路。 (英语) Zbl 1508.68101号 ACM事务处理。计算。日志。 23,第1条,第6条,第35页(2021年).MSC公司:2006年第68季度 03B70号 19年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}和\textit{G.Wilsenach},ACM Trans。计算。日志。23,第1号,第6条,第35页(2021年;Zbl 1508.68101) 全文: 内政部
Aleksandrova,东北。;D.S.罗曼诺夫。 关于插入模2加法器的单个故障诊断测试长度的下限。 (英语。俄文原件) Zbl 1504.94250号 计算。数学。模型。 32,编号4,500-504(2021); Prikl的翻译。材料信息68,88-96(2021)。MSC公司:94C12号机组 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Aleksandrova}和\textit{D.S.Romanov},计算。数学。模型。32,编号4500-504(2021;兹bl 1504.94250);Prikl的翻译。材料信息68,88--96(2021) 全文: 内政部
S.I.古罗夫。;佐洛塔列夫。;A.I.桑伯斯基。 人工神经网络和逻辑电路综合。 (英语。俄文原件) Zbl 1499.68328号 计算。数学。模型。 32,编号4,490-499(2021); Prikl的翻译。材料信息68,75-87(2021)。MSC公司:2017年10月68日 90立方厘米 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Gurov}等人,计算。数学。模型。32,第4号,490--499(2021;Zbl 1499.68328);Prikl的翻译。材料信息68,75--87(2021) 全文: 内政部
洛日金,S.A。;Khzmalyan,D.E。 一类开关电路中标准多路复用器功能的复杂性。 (英语。俄文原件) Zbl 1519.94255号 计算。数学。模型。 32,第4号,478-489(2021); Prikl的翻译。材料信息68,59-74(2021)。MSC公司:94C05(二氧化碳) 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Lozhkin}和\textit{D.E.Khzmalyan},计算。数学。模型。32,编号4,478--489(2021;Zbl 1519.94255);Prikl的翻译。材料信息68,59--74(2021) 全文: 内政部
特默贝科娃,G。;D.S.罗曼诺夫。 在某些基础上,关于用逆变器替代组合元件的单一故障检测试验的长度。 (英语。俄文原件) Zbl 1492.94230号 计算。数学。模型。 32,编号3,356-363(2021); Prikl的翻译。材料信息67,89-100(2021)。MSC公司:94C12号机组 94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{G.Temerbekova}和\textit{D.S.Romanov},计算。数学。模型。32,第3号,356-363(2021;兹bl 1492.94230);Prikl的翻译。材料信息67,89--100(2021) 全文: 内政部
Yu Kombarov。答:。 奇偶函数在无界扇入基础上的电路复杂度下限。 (英语。俄文原件) Zbl 1497.94199号 莫斯科。大学数学。牛市。 76,第6号,266-270(2021); 维斯特翻译。莫斯科。州立大学。I 76,编号6,48-51(2021)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.A.Kombarov},莫斯克。大学数学。牛市。76,第6号,266-270(2021;兹bl 1497.94199);维斯特翻译。莫斯科。州立大学。I 76,编号6,48--51(2021) 全文: 内政部
米查尔·库克 正则语言的电路复杂性。 (英语) Zbl 1510.68037号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。493-523 (2021). 审核人:Klaus D.Kiermeier(柏林) MSC公司:65年第68季度 2006年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Koucký},《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。493--523(2021年;Zbl 1510.68037) 全文: 内政部
A.Yu Matrosova。;Chernyshov,S.V.公司。;Kim,O.Kh。;尼古拉耶娃,E.A。 构造一种序列检测时序电路中鲁棒可测路径延迟故障的方法。 (英语。俄文原件) Zbl 1497.94207号 自动化。远程控制 82,第11期,1949-1965(2021); Avtom翻译。Telemekh公司。2021年,第11期,148-168(2021)。MSC公司:94C12号机组 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Matrosova}等人,Autom。遥控器82,No.11949-1965(2021;Zbl 1497.94207);Avtom翻译。Telemekh公司。2021年,第11期,148--168(2021年) 全文: 内政部
Nikolay P.Reďkin。 球体特性函数的最小接触电路。 (英语。俄文原件) Zbl 1484.94039号 离散数学。申请。 31,第6号,403-408(2021); 从Diskretn翻译。材料32,编号3,68-75(2020年)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Reďkin},离散数学。申请。31、编号6、403--408(2021;Zbl 1484.94039);从Diskretn翻译。材料32,编号3,68--75(2020) 全文: 内政部
D.V.埃法诺夫。;萨波日尼科夫,V.V。;萨波日尼科夫(Sapozhnikov,Vl)。五、。 基于布尔补全的容错电子设备体系结构。 (英语。俄文原件) Zbl 1484.94037号 自动化。远程控制 82,第8期,1403-1417(2021); Avtom翻译。Telemekh公司。2021,编号8140-158(2021)。MSC公司:94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Efanov}等人,《汽车》。遥控器82,编号8,1403-1417(2021;Zbl 1484.94037);Avtom翻译。Telemekh公司。2021年,第8期,140--158(2021年) 全文: 内政部
波普科夫,K.A。 关于不可靠门的自校正逻辑电路。 (英语) Zbl 1490.94083号 Lobachevskii J.数学。 42,第11期,2637-2644(2021).MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},Lobachevskii J.数学。42,编号11,2637--2644(2021;Zbl 1490.94083) 全文: 内政部
Alireza马祖翁;丹尼尔·格罗;罗尔夫·德雷克斯勒 Genmul:生成架构上复杂的乘数,以挑战正式的验证工具。 (英语) Zbl 07410746号 Drechsler,Rolf(编辑)等人,布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。177-191 (2021).MSC公司:第68季度第60季度 2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahzoon}等人,在:布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。177-191(2021;Zbl 07410746) 全文: 内政部
克劳迪奥·莫拉加 Toffoli和Peres闸门的混合控制。 (英语) Zbl 07410745号 Drechsler,Rolf(编辑)等人,布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。167-175 (2021).MSC公司:2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Moraga},in:布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。167-175(2021;Zbl 07410745) 全文: 内政部
D.迈克尔·米勒;杰哈德·杜克(Gerhard W.Dueck)。 具有正负控制的可逆电路合成的转换技术。 (英语) Zbl 07410744号 Drechsler,Rolf(编辑)等人,布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。143-165(2021年)。MSC公司:2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Miller}和\textit{G.W.Dueck},in:布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。143--165(2021;Zbl 07410744) 全文: 内政部
阿尔维斯,马特乌斯·罗德里格斯;德奥利维拉·奥利维拉,马特乌斯;纳西门托·席尔瓦,贾尼奥·卡洛斯;尤弗顿多斯桑托斯·索萨 单调电路的简洁证明。 (英语) 兹比尔1514.68075 西奥。计算。科学。 889, 1-13 (2021).MSC公司:2006年第68季度 68年第27季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Alves}等人,Theor。计算。科学。889,1-13(2021;Zbl 1514.68075) 全文: 内政部
斯里尼瓦桑;乌特卡什州特里帕蒂;圣文基特斯。 关于对称布尔函数的概率度。 (英语) Zbl 1527.68088号 SIAM J.离散数学。 35,编号3,2070-2092(2021).MSC公司:65年第68季度 06E30年 2006年第68季度 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srinivasan}等人,SIAM J.离散数学。35,编号3,2070--2092(2021;Zbl 1527.68088) 全文: 内政部 arXiv公司
尼古拉·雷德金。 少量布尔函数的实现复杂性。 (英语。俄文原件) Zbl 1482.94093号 离散数学。申请。 第4271-279号第31页(2021); 从Diskretn翻译。材料32,第2号,32-43(2020年)。MSC公司:94D10号 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{N.P.Redkin},离散数学。申请。31,第4号,271--279(2021;Zbl 1482.94093);从Diskretn翻译。材料32,编号2,32-43(2020) 全文: 内政部
基里尔·波普科夫。 接触电路接触闭合试验长度香农函数的界。 (英语。俄文原件) Zbl 1483.94079号 离散数学。申请。 第31165-178号(2021); 从Diskretn翻译。材料32,第3号,49-67(2020年)。MSC公司:94C11号机组 94C12号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},离散数学。申请。31、编号3、165--178(2021;Zbl 1483.94079);从Diskretn翻译。材料32,编号3,49-67(2020) 全文: 内政部
新泽西州雷德金。 布尔函数序列的最小接触电路。 (英语。俄文原件) 兹比尔1497.94202 数学。笔记 110,第1期,156-158(2021); 翻译自Mat.Zametki 110,No.1,155-157(2021)。 审核人:尼古拉·基尔科奇耶夫(普洛夫迪夫) MSC公司:94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Red'kin},数学。注释110,第1号,156--158(2021;Zbl 1497.94202);翻译自Mat.Zametki 110,No.1,155--157(2021) 全文: 内政部
埃米尔·杰瓦贝克 克隆成员资格问题的复杂性。 (英语) Zbl 1522.68240号 理论计算。系统。 65,编号5,839-868(2021).MSC公司:65年第68季度 06E30年 08A40号 2006年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},理论计算。系统。65,编号5839-868(2021;Zbl 1522.68240) 全文: 内政部 arXiv公司
谢尔盖夫,I.S。 线性函数在一元基础上的公式复杂性。 (英语。俄文原件) Zbl 1484.94046号 数学。笔记 109,编号3,445-458(2021); 翻译自Mat.Zametki 109,第3期,419-435(2021)。MSC公司:94D10号 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Sergeev},数学。注释109,编号3,445--458(2021;Zbl 1484.94046);翻译自Mat.Zametki 109,No.3,419--435(2021) 全文: 内政部
新泽西州雷德金。 少数布尔函数复杂性的渐近性。 (英语。俄文原件) Zbl 1495.94173号 数学。笔记 109,编号2256-261(2021); 翻译自Mat.Zametki 109,No.2,257-263(2021)。MSC公司:94D10号 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Red'kin},数学。注释109,编号2,256--261(2021;Zbl 1495.94173);翻译自Mat.Zametki 109,No.2,257--263(2021) 全文: 内政部
杜海军;张建国;刘海芳;龚立双;刘、冯;王云才 基于异或门的自治布尔网络和物理随机数生成器。 (中文。英文摘要) Zbl 1474.94064号 深圳理工大学。工程师。 38,编号1,103-109(2021).MSC公司:94A60型 94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{H.Du}等,深圳大学理工学院。工程38,编号1,103--109(2021;Zbl 1474.94064) 全文: 内政部
斯塔西斯·朱克纳 关于无危险电路的注意事项。 (英语) Zbl 1476.68084号 SIAM J.离散数学。 35,第2号,770-787(2021).MSC公司:2006年第68季度 2017年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jukna},SIAM J.离散数学。35,第2号,770--787(2021;Zbl 1476.68084) 全文: 内政部 arXiv公司
罗尔夫·德雷克斯勒(编辑);丹尼尔·格罗(编辑) 布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。 (英语) 兹比尔1470.94002 查姆:施普林格(ISBN 978-3-030-68070-1/hbk;978-3-0.30-68073-2/pbk;988-3-030-268071-8/电子书)。vii,197页。(2021).MSC公司:94-06 68-06 2006年第68季度 94C11号机组 94D10号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}(编辑)和\textit{D.Große}(主编),布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:施普林格(2021;Zbl 1470.94002) 全文: 内政部
Alekhina,M。;O.巴苏科娃。 在元件输出处的\(k-1\)型故障下,在由\(P_k\)中的Webb函数组成的基础上的不可靠性电路上的渐近最优。 (英语) Zbl 1465.94147号 Lobachevskii J.数学。 42,第1号,50-56(2021).MSC公司:94C05(二氧化碳) 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Alekhina}和\textit{O.Barsukova},Lobachevskii J.数学。42,编号1,50-56(2021;Zbl 1465.94147) 全文: 内政部
李亚乔 冲突复杂性受块敏感性的限制较低。 (英语) Zbl 1477.68107号 西奥。计算。科学。 856169-172(2021).MSC公司:2006年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \文本{Y.Li},Theor。计算。科学。856、169--172(2021年;Zbl 1477.68107) 全文: 内政部 arXiv公司
恶魔,雅克;西尔万·塞内 关于块并行布尔网络:一份立场文件。 (英语) Zbl 1530.68144号 自然计算。 19,第1期,5-13(2020年).MSC公司:65年第68季度 37B10号机组 2006年第68季度 2010年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Demongeot}和\textit{S.Sené},自然计算。19,第1号,第5-13号(2020;Zbl 1530.68144) 全文: 内政部 arXiv公司
Joáo F.Doriguello。;阿什利·蒙塔纳罗 指数量子通信从布尔隐匹配问题的推广中减少。 (英语) Zbl 1507.81058号 Steven T.弗拉米亚(编辑),第十五届量子计算、通信和密码学理论会议,2020年TQC,拉脱维亚里加,2020年6月9日至12日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。158,第1条,第16页(2020年)。MSC公司:81页第45页 81页68 2006年第68季度 81页94 05C70号 81问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Doriguello}和\textit{A.Montanaro},LIPIcs——莱布尼茨国际程序。通知。158,第1条,第16页(2020年;Zbl 1507.81058) 全文: 内政部 arXiv公司
卡米特·哈扎伊;莫尔·利林塔尔 RAM程序的渐进GRAM和安全计算。 (英语) Zbl 1506.94046号 Galdi,Clemente(编辑)等人,《网络安全与加密》。第十二届国际会议,SCN 2020,意大利阿马尔菲,2020年9月14-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12238, 233-252 (2020).MSC公司:94A60型 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{C.Hazay}和\textit{M.Lilintal},莱克特。注释计算。科学。12238,233--252(2020;Zbl 1506.94046) 全文: 内政部
卡里姆·巴赫里;阿隆索·冈萨雷斯;扎伊拉·平达多;Ráfols,卡拉 标准假设下布尔电路的知识签名。 (英语) Zbl 1501.94065号 Nitaj,Abderrahmane(编辑)等人,《密码学进展——非洲密码2020》。第十二届非洲密码学国际会议,埃及开罗,2020年7月20日至22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12174,24-44(2020)。MSC公司:94A62型 2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Baghery}等人,Lect。注释计算。科学。12174,24-44(2020;Zbl 1501.94065) 全文: 内政部
拉胡尔·伊兰戈;布鲁诺·洛夫;奥利维拉,伊戈尔C。 多输出函数电路最小化的NP特性。 (英语) Zbl 07561750号 Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第22条,第36页(2020)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ilango}等人,LIPIcs——莱布尼茨国际程序。通知。169,第22条,第36页(2020;Zbl 07561750) 全文: 内政部
伊格纳西奥·卡斯库多;贾伦·斯科夫斯特·冈德森 一种用于布尔电路的基于秘密共享的MPC协议,具有良好的摊销复杂性。 (英语) Zbl 1485.94133号 Pass,Rafael(编辑)等人,《密码学理论》。第18届国际会议,TCC 2020,美国北卡罗来纳州达勒姆,2020年11月16日至19日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12551, 652-682 (2020).MSC公司:94A62型 94A60型 68第25页 94C05(二氧化碳) 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{I.Cascudo}和\textit{J.S.Gundersen},莱克特。注释计算。科学。12551、652--682(2020;Zbl 1485.94133) 全文: 内政部 链接
波普科夫,K.A。 通过具有恒定均匀宽度的接触电路实现布尔函数。 (英语。俄文原件) Zbl 1490.94084号 多克。数学。 102、3号、502-504(2020); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。495,65-68(2020年)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},Dokl。数学。102,编号3,502--504(2020;Zbl 1490.94084);Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。495, 65--68 (2020) 全文: 内政部
弗洛里安·布里杜克斯;马克西米利安·加杜洛;他们是纪尧姆 交换自动机网络。 (英语) Zbl 1530.68141号 Zenil,Hector(编辑),细胞自动机和离散复杂系统。2020年8月10日至12日,第26届IFIP WG 1.5国际研讨会,AUTOMATA 2020,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12286, 43-58 (2020).MSC公司:65年第68季度 37B10号机组 2006年第68季度 68克80 PDF格式BibTeX公司 XML格式引用 \textit{F.Bridoux}等人,Lect。注释计算。科学。12286,43-58(2020;Zbl 1530.68141) 全文: 内政部 arXiv公司
谢尔盖夫,I.S。 无界扇入门电路的多级表示和复杂性。 (英语。俄文原件) Zbl 1495.94166号 莫斯科。大学数学。牛市。 75,第3期,121-125(2020年); 维斯特翻译。莫斯科。州立大学。I 75,第3号,(2020年)。 审核人:奥拉夫·尼内曼(乌芬加姆·斯塔费尔西) MSC公司:94C11号机组 2006年第68季度 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Sergeev},莫斯科。大学数学。牛市。75,第3号,121-125(2020;Zbl 1495.94166);维斯特翻译。莫斯科。州立大学。I 75,第3号,(2020年) 全文: 内政部
Antyufeev,G.V。;D.S.罗曼诺夫。 对电路输入进行卡住和移位故障测试。 (英语。俄文原件) 1460.94095兹罗提 计算。数学。模型。 31,第4期,494-500(2020年); Prikl的翻译。材料信息64,79-85(2020)。MSC公司:94C12号机组 94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Antyufeev}和\textit{D.S.Romanov},计算。数学。模型。31,第4号,494--500(2020;Zbl 1460.94095);Prikl的翻译。材料信息64、79--85(2020) 全文: 内政部
Alekhina,医学硕士。 关于具有三个输入元件的所有完整基础中逻辑电路的可靠性及其输出上的零故障。 (俄语。英文摘要) Zbl 1469.94236号 普里克尔。Diskretn公司。材料。 2020年,第49号,98-107(2020).MSC公司:94C11号机组 94C60个 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给普里克。Diskretn公司。材料2020,编号49,98-107(2020;Zbl 1469.94236) 全文: 内政部 MNR公司
Rybalov,A.N。 关于布尔电路可满足性问题的一般NP完备性。 (俄语。英文摘要) Zbl 1455.68071号 普里克尔。Diskretn公司。材料。 2020年,第47号,101-107(2020).MSC公司:2017年第68季度 2006年第68季度 65年第68季度 68周01 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Rybalov},普里克尔。Diskretn公司。材料2020,编号47,101--107(2020;Zbl 1455.68071) 全文: 内政部 MNR公司
Alekhina,医学硕士。;T.A.肖尼科娃。 关于包含一些函数对的完整有限基中元件输出处0类故障下电路的可靠性。 (英语。俄文原件) 兹比尔1466.94069 俄罗斯数学。 64,第7期,7-12(2020年); Izv的翻译。维什。Uchebn。扎维德。,材料2020,第7期,10-17(2020)。MSC公司:94C12号机组 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Alekhina}和\textit{T.A.Shornikova},俄罗斯数学。64,第7号,第7-12号(2020;Zbl 1466.94069);Izv的翻译。维什。Uchebn。扎维德。,材料2020,编号7,10-17(2020) 全文: 内政部
尼古拉·贝内什;卢博什·布里姆;贾库布·卡德莱卡;塞缪尔·帕斯特瓦;萨夫拉内克,大卫 AEON:参数化布尔网络的吸引子分支分析。 (英语) Zbl 1478.68085号 Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12224, 569-581 (2020).MSC公司:2006年第68季度 37B35型 37G35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。12224569--581(2020年;Zbl 1478.68085) 全文: 内政部
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬 QBF分辨率的硬度特征和尺寸宽度下限。 (英语) Zbl 1498.03149号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。209-223 (2020).MSC公司:20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,in:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。209--223(2020;Zbl 1498.03149) 全文: 内政部
新泽西州雷德金。 对称阈值函数的最小接触电路。 (英语。俄文原件) Zbl 1477.94086号 数学。笔记 108,第3号,370-380(2020); 翻译自Mat.Zametki 108,No.3,397-411(2020)。MSC公司:94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Red'kin},数学。注释108,第3号,370-380(2020;Zbl 1477.94086);翻译自Mat.Zametki 108,No.3,397--411(2020) 全文: 内政部
克里希纳莫奥斯蒂·迪内什;萨米尔·奥蒂夫;贾亚拉尔·萨尔马 布尔函数能量复杂性的新边界。 (英语) Zbl 1467.68053号 西奥。计算。科学。 845, 59-75 (2020).MSC公司:2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Dinesh}等人,Theor。计算。科学。845,59-75(2020;Zbl 1467.68053) 全文: 内政部 arXiv公司
拉格什·贾斯瓦尔 关于XOR与选择性XOR引理之间关系的注记。 (英语) Zbl 1462.68080号 信息处理。莱特。 163,文章ID 106011,2 p.(2020).MSC公司:65年第68季度 2006年第68季度 2017年第68季度 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Jaiswal},Inf.流程。莱特。163,文章ID 106011,2 p.(2020;Zbl 1462.68080) 全文: 内政部 arXiv公司
Lialina,A.A。 关于唯一电路SAT的复杂性。 (英语。俄文原件) Zbl 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年) 全文: 内政部
罗汉·卡提基扬;辛哈(Siddharth Sinha);瓦拉巴·帕蒂尔 关于灵敏度猜想的求解。 (英语) Zbl 1454.68107号 牛市。美国数学。Soc.,新Ser。 57,第4期,615-638(2020年). 审核人:弗拉迪米尔·拉科(科希策) MSC公司:68兰特 05C35号 15A24号 2006年第68季度 2017年第68季度 94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Karthikeyan}等人,公牛。美国数学。Soc.,新系列。57,第4号,615--638(2020;Zbl 1454.68107) 全文: 内政部 arXiv公司
马克·本;贾斯汀·泰勒 近似度\(\mathrm{AC}^0\)的近似最优下界。 (英语) Zbl 1471.68092号 SIAM J.计算。 49,第4号,FOCS17-59-FOCS17-96(2020). 审核人:彼得·科斯托拉尼(布拉迪斯拉发) MSC公司:2006年第68季度 2011年第68季度 2015年第68季度 2017年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bun}和\textit{J.Thaler},SIAM J.Comput。49,第4号,FOCS17--59-FOCS17--96(2020;Zbl 1471.68092) 全文: 内政部 arXiv公司
Gianluca Curzi;卢卡·罗维斯 线性擦除和复制的一种类型。 (英语) Zbl 1484.03128号 西奥。计算。科学。 837, 26-53 (2020).MSC公司:03楼52 03B40型 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Curzi}和\textit{L.Roversi},Theor。计算。科学。837,26-53(2020;Zbl 1484.03128) 全文: 内政部 arXiv公司
基里尔·波普科夫。 关于触点电路触点断开的诊断测试。 (英语。俄文原件) Zbl 1465.94149号 离散数学。申请。 30,第2期,103-116(2020年); 从Diskretn翻译。材料31,编号2,123-142(2019年)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},离散数学。申请。30,第2号,第103--116条(2020年;Zbl 1465.94149);从Diskretn翻译。材料31,编号2,123--142(2019年) 全文: 内政部
安托万·阿马里里;佛罗伦萨卡佩利;米卡·莫内;皮埃尔·塞内拉特 连接知识编译类和宽度参数。(连接知识编译类宽度参数。) (英语) Zbl 1446.68149号 理论计算。系统。 64,第5号,861-914(2020).MSC公司:68立方英尺 68第05页 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}等人,理论计算。系统。64,第5号,861--914(2020;Zbl 1446.68149) 全文: 内政部 arXiv公司
波普科夫,K.A。 接触电路外壳的短期试验。 (英语。俄文原件) Zbl 1448.94304号 数学。笔记 107,第4期,653-662(2020年); 翻译自Mat.Zametki 107,No.4,591-603(2020)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Popkov},数学。附注107,第4号,653--662(2020;Zbl 1448.94304);翻译自Mat.Zametki 107,No.4,591--603(2020) 全文: 内政部
安杰伊·林加斯 半不相交双线性形式的小型规范化电路需要对数和深度。 (英语) Zbl 1433.68141号 西奥。计算。科学。 820, 17-25 (2020).MSC公司:2006年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Lingas},Theor。计算。科学。820、17-25(2020年;Zbl 1433.68141) 全文: 内政部
基督教恩格斯;莫希特·加格;Kazuhisa Makino;拉奥,阿努普 将多数表达为多数。 (英语) Zbl 1460.94091号 SIAM J.离散数学。 34,第1期,730-741(2020).MSC公司:94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{C.Engels}等人,SIAM J.离散数学。34,第1号,730--741(2020;Zbl 1460.94091) 全文: 内政部
伊利亚·齐洛蒂;尼古拉斯·加马;玛丽亚·格奥尔基耶娃;马利卡,伊扎巴切 TFHE:环面上的快速全同态加密。 (英语) Zbl 1455.94141号 J.密码学 33,第1号,34-91(2020年).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Chillotti}等人,J.Cryptology 33,No.1,34--91(2020;Zbl 1455.94141) 全文: 内政部 链接
伊曼纽尔·维奥拉 采样下限:布尔平均情况和排列。 (英语) Zbl 1435.68092号 SIAM J.计算。 第119-137号第49页(2020年).MSC公司:2006年第68季度 68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Viola},SIAM J.计算机。49,第1号,119--137(2020;Zbl 1435.68092) 全文: 内政部