1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Pavel Pudlák, Neil Thapen
In the implicit version of a propositional proof system Q, we work with Q-proofs that are not written down directly, but are succinctly encoded by circuits. Thus implicit Q-proofs…