1.Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

作　　者：Susanna de Rezende ;Jakob Nordström ;Kilian Risse 等

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

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

文章 ID：243029021

文章详细全文下载
2.Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

作　　者：Susanna de Rezende ;Jakob Nordström ;Kilian Risse 等

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

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

文章 ID：243731391

文章详细全文下载
3.Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

作　　者：Or Meir ;Jakob Nordström ;Robert Robere 等

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-23.

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

文章 ID：259794709

文章详细全文下载
4.Automating Algebraic Proof Systems is NP-Hard

作　　者：Mika Göös ;Jakob Nordström ;Toniann Pitassi 等

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-30.

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

文章 ID：259794772

文章详细全文下载
5.KRW Composition Theorems via Lifting

作　　者：Susanna de Rezende ;Or Meir ;Jakob Nordström 等

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-57.

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

文章 ID：259794807

文章详细全文下载
6.How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)

作　　者：Susanna de Rezende ;Jakob Nordström ;Marc Vinyals

出　　处：Electronic Colloquium on Computational Complexity. 2021 ;21.

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

文章 ID：1037095469

文章详细
7.Automating Tree-Like Resolution in Time no(logn) Is ETH-Hard

作　　者：Susanna de Rezende

出　　处：Electronic Colloquium on Computational Complexity. 2021 ;21.

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

文章 ID：1037095479

文章详细

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

	Susanna de Rezende	7篇
	Jakob Nordström	6篇
	Dmitry Sokolov	3篇
	Robert Robere	3篇
	Kilian Risse	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Susanna de Rezende")))) )) ) )"

	Or Meir	2篇
	Toniann Pitassi	2篇
	Marc Vinyals	1篇
	Mika Göös	1篇

	2021	2篇
	2020	3篇
	2019	2篇