首页期刊浏览 2024年12月02日星期一

登录注册

全文

	有本地全文	18篇
	有全文链接	1篇

出版年度

	2021	2篇
	2020	2篇
	2019	2篇
	2018	2篇
	2016	3篇

	2015	2篇
	2013	2篇
	2012	1篇
	2011	2篇
	2010	1篇

作者

	Iddo Tzameret	19篇
	Amir Shpilka	3篇
	Avi Wigderson	3篇
	Fu Li	3篇
	Dima Grigoriev	2篇

	Edward Hirsch	2篇
	Fedor Part	2篇
	Yaroslav Alekseev	2篇
	Zhengyu Wang	2篇
	Eric Allender	1篇
	George Davie	1篇
	Luke Friedman	1篇
	Michael A. Forbes	1篇
	Michael A.Forbes	1篇
	Michael Forbes	1篇
	Pavel Hrubes	1篇
	Rahul Santhanam	1篇
	Samuel Hopkins	1篇
	Sebastian Müller	1篇
	Stephen Cook	1篇
	Toniann Pitassi	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	14篇
	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Theory of Computing	1篇

学科主题

计算技术、计算机技术

19篇

语种

英文

19篇

国别/地区

	德国	18篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Iddo Tzameret")))) )) ) )"

共 19 条记录

排序：全选导出：

1.Short Proofs for the Determinant Identities

作　　者：Pavel Hrubes ;Iddo Tzameret

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

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

文章 ID：88774605

文章详细全文下载
2.On Sparser Random 3SAT Refutation Algorithms and Feasible Interpolation

作　　者：Iddo Tzameret

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

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

文章 ID：88774817

文章详细全文下载
3.Generating Matrix Identities and Proof Complexity Lower Bounds

作　　者：Fu Li ;Iddo Tzameret

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

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

文章 ID：88774932

文章详细全文下载
4.Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

作　　者：Eric Allender ;George Davie ;Luke Friedman 等

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

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

文章 ID：77057261

文章详细全文下载
5.Algebraic Proofs over Noncommutative Formulas

作　　者：Iddo Tzameret

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

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

文章 ID：47585146

文章详细全文下载
6.Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas

作　　者：Sebastian Müller ;Iddo Tzameret

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

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

文章 ID：47840893

文章详细全文下载
7.Characterizing Propositional Proofs as Non-Commutative Formulas

作　　者：Fu Li ;Iddo Tzameret ;Zhengyu Wang

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

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

文章 ID：174712881

文章详细全文下载
8.Semi-Algebraic Proofs, IPS Lower Bounds and the -Conjecture: Can a Natural Number be Negative?

作　　者：Yaroslav Alekseev ;Dima Grigoriev ;Edward Hirsch 等

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

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

文章 ID：243029053

文章详细全文下载
9.Semi-Algebraic Proofs, IPS Lower Bounds and the -Conjecture: Can a Natural Number be Negative?

作　　者：Yaroslav Alekseev ;Dima Grigoriev ;Edward Hirsch 等

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

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

文章 ID：243731459

文章详细全文下载
10.From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk)

作　　者：Iddo Tzameret

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-2.doi:10.4230/LIPIcs.CSL.2020.5

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

文章 ID：243494206

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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