activity
20072026
most citedRandomness, pseudorandomness and models of arithmetic

2 citations · 4 across the 7 of their papers we have counts for

collaborators
Showing 2019 · math.LOShow all

1 paper · 2 filters

math.LO2019

The canonical pairs of bounded depth Frege systems

Pavel Pudlak

The canonical pair of a proof system is the pair of disjoint NP sets where one set is the set of all satisfiable CNF formulas and the other is the set of CNF formulas that have…