Concepedia

Pavel Pudlák

PP

Statistics

Publications

72

Citations

4.8K

H-Index

35

Active since

1959

Affiliations

Czech Academy of Sciences, Institute of Mathematics(Current)

Mathematical Institute of the Slovak Academy of Sciences

Czech Academy of Sciences

University of California San Diego

Charles University

Pavel Pudlák is an author at Czech Academy of Sciences, Institute of Mathematics specializing in computer science, mathematics, and computing.

Publications per year

1959–2016

72

Publications

72

Albinism Associated with Hemorrhagic Diathesis and Unusual Pigmented Reticular Cells in the Bone Marrow: Report of Two Cases with Histochemical Studies

F Heřmanský, Pavel Pudlák · Blood · 1959 · 548 citations · Full text

Medicine, Hematology, Pathology +16

Lower bounds for resolution and cutting plane proofs and monotone computations

Pavel Pudlák · Journal of Symbolic Logic · 1997 · 419 citations

Computing, Computer Science, Mathematics +15

Threshold circuits of bounded depth

A. Hajnal, Wolfgang Maass, Pavel Pudlák et al. · Journal of Computer and System Sciences · 1993 · 240 citations

Computing, Computer Systems, Circuit Theory +6

An improved exponential-time algorithm for <i>k</i> -SAT

Ramamohan Paturi, Pavel Pudlák, Michael Saks et al. · Journal of the ACM · 2005 · 216 citations

Computing, Computer Science, Algorithms +16

Propositional proof systems, the consistency of first order theories and the complexity of computations

Jan Krajı́ček, Pavel Pudlák · Journal of Symbolic Logic · 1989 · 202 citations

Humanities, Computer Science, Mathematics +11

1–5 of 72