Ondrej Jezil

According to our database¹, Ondrej Jezil authored at least 5 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Parallelism and Adaptivity in Student-Teacher Witnessing.

[DOI]

CoRR, February, 2026

Prime Factorization in Models of PV$_1$.

[DOI]

Log. Methods Comput. Sci., 2026

2025

Prime Factorization in Models of PV<sub>1</sub>.

[DOI]

CoRR, May, 2025

Feasibility of Primality in Bounded Arithmetic.

[DOI]

CoRR, April, 2025

2023

Limits of structures and Total NP Search Problems.

[DOI]

Electron. Colloquium Comput. Complex., 2023