1.Tighter Hard Instances for PPSZ

作　　者：Pavel Pudl{\'a}k ;Dominik Scheder ;Navid Talebanfard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:85:1-85:13.doi:10.4230/LIPIcs.ICALP.2017.85

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

文章 ID：198372039

文章详细全文下载
2.Random Resolution Refutations

作　　者：Pavel Pudl{\'a}k ;Neil Thapen

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

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

文章 ID：200734921

文章详细全文下载
3.Representations of Monotone Boolean Functions by Linear Programs

作　　者：Mateus de Oliveira Oliveira ;Pavel Pudl{\'a}k

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;79:3:1-3:14.doi:10.4230/LIPIcs.CCC.2017.3

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

文章 ID：200734923

文章详细全文下载
4.On extracting computations from propositional proofs (a survey)

作　　者：Pavel Pudl{\'a}k

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:30-41.doi:10.4230/LIPIcs.FSTTCS.2010.30

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

文章 ID：186845757

文章详细全文下载
5.Partition Expanders

作　　者：Dmitry Gavinsky ;Pavel Pudl{\'a}k

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:325-336.doi:10.4230/LIPIcs.STACS.2014.325

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

文章 ID：186846464

文章详细全文下载
6.The Space Complexity of Cutting Planes Refutations

作　　者：Nicola Galesi ;Pavel Pudl{\'a}k ;Neil Thapen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;33:433-447.doi:10.4230/LIPIcs.CCC.2015.433

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

文章 ID：186846776

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pavel Pudl{\ a}k")))) )) ) )"

	Pavel Pudl{\'a}k	6篇
	Neil Thapen	2篇
	Dmitry Gavinsky	1篇
	Dominik Scheder	1篇
	Mateus de Oliveira Oliveira	1篇

	2017	3篇
	2015	1篇
	2014	1篇
	2010	1篇

	Navid Talebanfard	1篇
	Nicola Galesi	1篇