Pavel Pudl\'ak

Identifiers

• name variant Pavel Pudl\'ak 0.60 · backfill

Papers (5)

1. A lower bound on the Ramsey number $R_k(k+1,k+1)$ math.CO · 2024 · author #1
2. Tighter Hard Instances for PPSZ cs.CC · 2016 · author #1
3. A wild model of linear arithmetic and discretely ordered modules math.LO · 2016 · author #2
4. Linear tree codes and the problem of explicit constructions cs.IT · 2013 · author #1
5. The complexity of proving that a graph is Ramsey cs.CC · 2013 · author #2

Mentions

• 1310.5684 #1 · backfill · confidence 0.70 Pavel Pudl\'ak
• 1303.3166 #2 · backfill · confidence 0.70 Pavel Pudl\'ak

Frequent Coauthors

• Vojt\v{e}ch R\"odl 2 shared papers
• Dominik Scheder 1 shared papers
• Massimo Lauria 1 shared papers
• Navid Talebanfard 1 shared papers
• Neil Thapen 1 shared papers
• Petr Glivick\'y 1 shared papers
• William J. Wesley 1 shared papers