首页期刊浏览 2024年11月25日星期一

登录注册

全文

	有本地全文	15篇
	有全文链接	2篇

出版年度

	2021	1篇
	2019	3篇
	2018	1篇
	2017	5篇
	2016	3篇

	2015	1篇
	2013	2篇
	2001	1篇

作者

	Antonina Kolokolova	17篇
	Valentine Kabanets	14篇
	Russell Impagliazzo	11篇
	Alexander Golovnev	3篇
	Avishay Tal	3篇

	Marco L. Carmosino	3篇
	Rahul Ilango	3篇
	Denis Pankratov	2篇
	Marco Carmosino	2篇
	Michal Koucky	2篇
	Noah Fleming	2篇
	Paul Beame	2篇
	Pierre McKenzie	2篇
	Robert Robere	2篇
	Sam Buss	2篇
	Shadab Romani	2篇
	Toniann Pitassi	2篇
	David Zuckerman	1篇
	Igor Oliveira	1篇
	Ronen Shaltiel	1篇
	Ruiwen Chen	1篇
	Stephen Cook	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	10篇
	LIPIcs : Leibniz International Proceedings in Informatics	7篇

学科主题

计算技术、计算机技术

17篇

语种

英文

17篇

国别/地区

德国

17篇

检索条件:"( ( 高级检索(( ((AU:(("Antonina Kolokolova")))) )) ) )"

共 17 条记录

排序：全选导出：

1.Compression of Boolean Functions

作　　者：Valentine Kabanets ;Antonina Kolokolova

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774771

文章详细全文下载
2.Mining Circuit Lower Bound Proofs for Meta-Algorithms

作　　者：Ruiwen Chen ;Valentine Kabanets ;Antonina Kolokolova 等

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774804

文章详细全文下载
3.A second-order system for polynomial-time reasoning based on Graedel's theorem

作　　者：Stephen Cook ;Antonina Kolokolova

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47147000

文章详细全文下载
4.AC0[p] Lower Bounds against MCSP via the Coin Problem

作　　者：Alexander Golovnev ;Rahul Ilango ;Russell Impagliazzo 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-21.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243029177

文章详细全文下载
5.AC0[p] Lower Bounds against MCSP via the Coin Problem

作　　者：Alexander Golovnev ;Rahul Ilango ;Russell Impagliazzo 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-21.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243731584

文章详细全文下载
6.AC^0[p] Lower Bounds Against MCSP via the Coin Problem

作　　者：Alexander Golovnev ;Rahul Ilango ;Russell Impagliazzo 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.66

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892201

文章详细全文下载
7.Agnostic Learning from Tolerant Natural Proofs

作　　者：Marco L. Carmosino ;Russell Impagliazzo ;Valentine Kabanets 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;81:35:1-35:19.doi:10.4230/LIPIcs.APPROX-RANDOM.2017.35

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200734989

文章详细全文下载
8.Does Looking Inside a Circuit Help?

作　　者：Russell Impagliazzo ;Valentine Kabanets ;Antonina Kolokolova 等

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621359

文章详细全文下载
9.Stabbing Planes

作　　者：Paul Beame ;Noah Fleming ;Russell Impagliazzo 等

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621401

文章详细全文下载
10.Does Looking Inside a Circuit Help?

作　　者：Russell Impagliazzo ;Valentine Kabanets ;Antonina Kolokolova 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:1:1-1:13.doi:10.4230/LIPIcs.MFCS.2017.1

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510050

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有