Travelled to:1 × Canada
1 × Czech Republic
1 × Germany
Collaborated with:P.Pudlák ∅ P.Beame R.Impagliazzo T.Pitassi A.R.Woods
Talks about:feasibl (2) pigeonhol (1) exponenti (1) proposit (1) principl (1) arithmet (1) provabl (1) comput (1) proof (1) model (1)
Person: Jan Krajícek
DBLP: Kraj=iacute=cek:Jan
Contributed to:
2010
19921989Wrote 3 papers:
- CSL-2010-Krajicek #proving
- From Feasible Proofs to Feasible Computations (JK), pp. 22–31.
- STOC-1992-BeameIKPPW #bound #exponential #principle
- Exponential Lower Bounds for the Pigeonhole Principle (PB, RI, JK, TP, PP, ARW), pp. 200–220.
- CSL-1989-KrajicekP #modelling
- Propositional Provability and Models of Weak Arithmetic (JK, PP), pp. 193–210.