BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pavel Pudlák
SearchCollections
Map detail
Pavel Pudlák9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPavel PudlákAPavel PudlákResearcherReflection principles, propositional proof systems, and theoriesWReflection principles, ...preprint / 2020Linear tree codes and the problem of explicit constructionsWLinear tree codes and t...preprint / 2015Exponential Separation of Quantum and Classical Non-Interactive Multi-Party Communication ComplexityWExponential Separation ...preprint / 2007Santha-Vazirani sources, deterministic condensers and very strong extractorsWSantha-Vazirani sources...preprint / 2020On the Joint Entropy of $d$-Wise-Independent VariablesWOn the Joint Entropy of...preprint / 2016Partition ExpandersWPartition Expanderspreprint / 2014Linear Branching Programs and Directional Affine ExtractorsWLinear Branching Progra...preprint / 2022The complexity of proving that a graph is RamseyWThe complexity of provi...preprint / 2013
Person8 links

Pavel Pudlák

Researcher

PaperReflection principles, propositional proof systems, and theoriesAuthorship / preprint / 2020PaperLinear tree codes and the problem of explicit constructionsAuthorship / preprint / 2015PaperExponential Separation of Quantum and Classical Non-Interactive Multi-Party Communication ComplexityAuthorship / preprint / 2007PaperSantha-Vazirani sources, deterministic condensers and very strong extractorsAuthorship / preprint / 2020PaperOn the Joint Entropy of dd-Wise-Independent VariablesAuthorship / preprint / 2016PaperPartition ExpandersAuthorship / preprint / 2014PaperLinear Branching Programs and Directional Affine ExtractorsAuthorship / preprint / 2022PaperThe complexity of proving that a graph is RamseyAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)