Showing 1 - 8 results of 8 for search 'Pich, J', query time: 0.04s
Refine Results
-
1
Strong co-nondeterministic lower bounds for NP cannot be proved feasibly by Pich, J, Santhanam, R
Published 2021Conference item -
2
Learning algorithms versus automatability of Frege systems by Pich, J, Santhanam, R
Published 2022Conference item -
3
-
4
Hardness magnification near state-of-the-art lower bounds by Oliveira, I, Pich, J, Santhanam, R
Published 2019Conference item -
5
Reasons for hardness in QBF proof systems by Beyersdorff, O, Hinde, L, Pich, J
Published 2020Journal article -
6
Hardness magnification near state-of-the-art lower bounds by Oliveira, IC, Pich, J, Santhanam, R
Published 2021Journal article -
7
Frege systems for quantified Boolean logic by Beyersdorff, O, Bonacina, I, Chew, L, Pich, J
Published 2020Journal article -
8
Beyond natural proofs: Hardness magnification and locality by Chen, L, Hirahara, S, Oliveira, IC, Pich, J, Rajgopal, N, Santhanam, R
Published 2020Conference item