Pavel Pudlák

Statistics

Publications

Citations

4.7K

H-Index

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 engineering, computational complexity, and discrete mathematics.

Top concepts

EngineeringComputational ComplexityComputer ScienceDiscrete MathematicsAutomated ReasoningCombinatorial OptimizationFormal MethodsCircuit ComplexityProof ComplexityFormal Verification

Publications per year

1959–2016

Publications

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 · 546 citations · Full text

Lower bounds for resolution and cutting plane proofs and monotone computations

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

Circuit Complexity, Mathematical Programming, Computational Complexity Theory +11

Threshold circuits of bounded depth

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

Circuit Complexity, Engineering, Circuit System +4

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

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

Theory Of Computing, Circuit Complexity, Computational Complexity Theory +15

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 · 200 citations

First Order Theories, Engineering, Automated Reasoning +13

1–5 of 72