Scholar
Jan Krajicek
Google Scholar ID: FjtiEXEAAAAJ
Charles University
mathematical logic
complexity theory
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
5,464
H-index
36
i10-index
70
Publications
20
Co-authors
0
Publications
4 items
A proof complexity perspective on effectively zero-knowledge proofs
2026
Cited
0
Extended Frege proofs, circuits and rewriting
2026
Cited
0
Failure of the strong feasible disjunction property
2026
Cited
0
On $NP cap coNP$ proof complexity generators
2025
Cited
0
