Jan Krajicek
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Complexity×1
Research Timeline
2026
Extended Frege proofs, circuits and rewriting
This paper proves several properties about Extended Frege proof systems and circuit equivalence.
Highlighted terms show continued research focus across papers