2 citations · 2 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2012★ 2 cited
Randomness, pseudorandomness and models of arithmetic
Pavel Pudlak
Pseudorandmness plays an important role in number theory, complexity theory and cryptography. Our aim is to use models of arithmetic to explain pseudorandomness by randomness. To t…