1.Trade-Offs Between Size and Degree in Polynomial Calculus

作　　者：Guillaume Lagarde ;Jakob Nordstr{"o}m ;Dmitry Sokolov 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;151:1-16.doi:10.4230/LIPIcs.ITCS.2020.72

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

文章 ID：243494310

文章详细全文下载

2.Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

作　　者：Susanna F. de Rezende ;Jakob Nordstr{"o}m ;Or Meir 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;137:1-16.doi:10.4230/LIPIcs.CCC.2019.18

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

文章 ID：238892050

文章详细全文下载

3.Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases

作　　者：Massimo Lauria ;Jakob Nordstr{\"o}m

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;79:2:1-2:20.doi:10.4230/LIPIcs.CCC.2017.2

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

文章 ID：200734922

文章详细全文下载

4.Cumulative Space in Black-White Pebbling and Resolution

作　　者：Jo{\"e}l Alwen ;Susanna F. de Rezende ;Jakob Nordstr{\"o}m 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;67:38:1-38:21.doi:10.4230/LIPIcs.ITCS.2017.38

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

文章 ID：205510129

文章详细全文下载

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

作　　者：Susanna F. de Rezende ;Jakob Nordstr{"o}m ;Kilian Risse 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;169:28:1-28:24.doi:10.4230/LIPIcs.CCC.2020.28

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

文章 ID：255823024

文章详细全文下载

6.From Small Space to Small Width in Resolution

作　　者：Yuval Filmus ;Massimo Lauria ;Mladen Miksa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:300-311.doi:10.4230/LIPIcs.STACS.2014.300

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

文章 ID：186846462

文章详细全文下载

7.Tight Size-Degree Bounds for Sums-of-Squares Proofs

作　　者：Massimo Lauria ;Jakob Nordstr{\"o}m

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;33:448-466.doi:10.4230/LIPIcs.CCC.2015.448

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

文章 ID：186846777

文章详细全文下载

8.A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

作　　者：Mladen Miksa ;Jakob Nordstr{\"o}m

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;33:467-487.doi:10.4230/LIPIcs.CCC.2015.467

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

文章 ID：186846778

文章详细全文下载

9.Supercritical Space-Width Trade-Offs for Resolution

作　　者：Christoph Berkholz ;Jakob Nordstr{\"o}m

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:57:1-57:14.doi:10.4230/LIPIcs.ICALP.2016.57

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

文章 ID：186847654

文章详细全文下载

	Marc Vinyals	2篇
	Mladen Miksa	2篇
	Christoph Berkholz	1篇
	Guillaume Lagarde	1篇
	Joseph Swernofsky	1篇
	Jo{\"e}l Alwen	1篇
	Kilian Risse	1篇
	Or Meir	1篇
	Robert Robere	1篇
	Yuval Filmus	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jakob Nordstr{\"o}m")))) )) ) )"

	Jakob Nordstr{\"o}m	6篇
	Jakob Nordstr{"o}m	3篇
	Massimo Lauria	3篇
	Susanna F. de Rezende	3篇
	Dmitry Sokolov	2篇