Pavel Pudlák
Publication Activity (10 Years)
Years Active: 1975-2024
Publications (10 Years): 35
Publications (10 Years): 35
Publications
- Mohit Gurumukhani, Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Navid Talebanfard
- Pavel Pudlák
- Pavel Pudlák, Vojtech Rödl
- Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Dmitry Gavinsky, Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák, Neil Thapen
- Pavel Pudlák, Vojtech Rödl
- Pavel Pudlák, Vojtech Rödl
- Pavel Hrubes, Pavel Pudlák
- Albert Atserias, Jakob Nordström, Pavel Pudlák, Rahul Santhanam
- Petr Glivický, Pavel Pudlák
- Pavel Hrubes, Pavel Pudlák
- Pavel Pudlák, Dominik Scheder, Navid Talebanfard
- Pavel Pudlák, Neil Thapen
- Massimo Lauria, Pavel Pudlák, Vojtech Rödl, Neil Thapen
- Pavel Hrubes, Pavel Pudlák
- Pavel PudlákPetr Hajek, 1940-2016. Bull. EATCS 121 (2017)
- Pavel Pudlák
- Dmitry Gavinsky, Pavel Pudlák
- Pavel Pudlák, Neil Thapen
- Pavel Pudlák, Dominik Scheder, Navid Talebanfard
- Dmitry Gavinsky, Pavel Pudlák
- Pavel Pudlák
- Dmitry Gavinsky, Pavel PudlákPartition Expanders. CoRR (2014)
- Dmitry Gavinsky, Pavel Pudlák
- Arnold Beckmann, Pavel Pudlák, Neil Thapen
- Dmitry Gavinsky, Pavel Pudlák
- Pavel Pudlák, Arnold Beckmann, Neil Thapen
- Arnold Beckmann, Pavel Pudlák, Neil Thapen
- Pavel Pudlák
- Massimo Lauria, Pavel Pudlák, Vojtech Rödl, Neil Thapen
- Massimo Lauria, Pavel Pudlák, Vojtech Rödl, Neil Thapen
- Pavel Pudlák
- Pavel Pudlák, Neil Thapen
- Pavel Hrubes, Stasys Jukna, Alexander S. Kulikov, Pavel Pudlák
- Alexandr V. Kostochka, Pavel Pudlák, Vojtech Rödl
- Ramamohan Paturi, Pavel Pudlák
- Pavel Pudlák
- Pavel Hrubes, Stasys Jukna, Alexander S. Kulikov, Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Pavel PudlákQuantum deduction rules. Electron. Colloquium Comput. Complex. 14 (032) (2007)
- Arkadev Chattopadhyay, Navin Goyal, Pavel Pudlák, Denis Thérien
- Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Michal Koucký, Pavel Pudlák, Denis Thérien
- Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Francis Zane
- Pavel Pudlák
- Ramamohan Paturi, Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Anna Gál, Pavel Pudlák
- Albert Atserias, Nicola Galesi, Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Samuel R. Buss, Pavel Pudlák
- Pavel Pudlák
- Pavel Pudlák
- Albert Atserias, Nicola Galesi, Pavel Pudlák
- Pavel Pudlák, Russell Impagliazzo-SAT (preliminary version). SODA (2000)
- Pavel Pudlák
- Pavel PudlákProofs as Games. Am. Math. Mon. 107 (6) (2000)
- Ramamohan Paturi, Pavel Pudlák, Francis Zane
- Pavel Pudlák