Jan Krajicek

Identifiers

• name variant Jan Krajicek 0.60 · backfill

Papers (10)

1. Failure of the strong feasible disjunction property cs.CC · 2026 · author #1
2. On $NP \cap coNP$ proof complexity generators cs.CC · 2025 · author #1
3. Randomized feasible interpolation and monotone circuits with a local oracle math.LO · 2016 · author #1
4. Unprovability of circuit upper bounds in Cook's theory PV math.LO · 2016 · author #1
5. A feasible interpolation for random resolution math.LO · 2016 · author #1
6. Consistency of circuit evaluation, extended resolution and total NP search problems math.LO · 2015 · author #1
7. Expansions of pseudofinite structures and circuit and proof complexity math.LO · 2015 · author #1
8. A reduction of proof complexity to computational complexity for $AC^0[p]$ Frege systems math.LO · 2013 · author #1
9. On the computational complexity of finding hard tautologies math.LO · 2012 · author #1
10. A saturation property of structures obtained by forcing with a compact family of random variables math.LO · 2012 · author #1

Mentions

• 1311.2501 #1 · backfill · confidence 0.70 Jan Krajicek
• 1212.1789 #1 · backfill · confidence 0.70 Jan Krajicek
• 1207.1548 #1 · backfill · confidence 0.70 Jan Krajicek

Frequent Coauthors

• Igor C. Oliveira 1 shared papers