1.Semialgebraic Proofs and Efficient Algorithm Design

作　　者：Noah Fleming ;Pravesh Kothari ;Toniann Pitassi

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

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

文章 ID：243029089

文章详细全文下载

2.Semialgebraic Proofs and Efficient Algorithm Design

作　　者：Noah Fleming ;Pravesh Kothari ;Toniann Pitassi

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

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

文章 ID：243731496

文章详细全文下载

3.Distribution-Free Testing of Linear Functions on â"â¿

作　　者：Noah Fleming ;Yuichi Yoshida

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

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

文章 ID：243494260

文章详细全文下载

4.Random CNFs are Hard for Cutting Planes

作　　者：Noah Fleming ;Denis Pankratov ;Toniann Pitassi 等

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

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

文章 ID：207621295

文章详细全文下载

5.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

文章详细全文下载

6.Stabbing Planes

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

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;94:10:1-10:20.doi:10.4230/LIPIcs.ITCS.2018.10

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

文章 ID：220015335

文章详细

7.Extremely Deep Proof

作　　者：Noah Fleming ;Toniann Pitassi ;Robert Robere

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

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

文章 ID：1037095454

文章详细

8.On the Power and Limitations of Branch and Cut

作　　者：Noah Fleming ;Mika Göös ;Russell Impagliazzo 等

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

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

文章 ID：1037095500

文章详细

9.Reflections on Proof Complexity and Counting Principles

作　　者：Noah Fleming ;Toniann Pitassi

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

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

文章 ID：1037095516

文章详细

10.On Semi-Algebraic Proofs and Algorithm

作　　者：Noah Fleming ;Stefan Grosser ;Mika Göös 等

出　　处：Electronic Colloquium on Computational Complexity. 2022 ;22.

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

文章 ID：1037095570

文章详细

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

	Antonina Kolokolova	2篇
	Mika Göös	2篇
	Paul Beame	2篇
	Pravesh Kothari	2篇
	Avi Wigderson	1篇
	Li-Yang Tan	1篇
	Stefan Grosser	1篇
	Yuichi Yoshida	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Noah Fleming")))) )) ) )"

	Noah Fleming	10篇
	Toniann Pitassi	8篇
	Robert Robere	6篇
	Denis Pankratov	3篇
	Russell Impagliazzo	3篇

	Electronic Colloquium on Computational Complexity	8篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇