Concepedia

Author

P. Pudlik

University of California San Diego

Also Known As

P. Pudlik

1

Publications

158

Citations

1

H-Index

11

Concepts

All Affiliations

University of California San Diego
PP

About

P. Pudlik is an author at University of California San Diego specializing in formal methods, discrete mathematics, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

158

2

Computer Science

1

1

158

3

Combinatorial Optimization

1

1

158

4

Automated Reasoning

1

1

158

5

Computational Complexity

1

1

158

P. Pudlik

×

1

Publications

158

Citations

1

H-Index

YearCitations

Page 1