14 citations · 30 across the 18 of their papers we have counts for
1 paper · 2 filters
Andreas Krebs, Nutan Limaye, Meena Mahajan +1
A proof system for a language L is a function f such that Range(f) is exactly L. In this paper, we look at proofsystems from a circuit complexity point of view and study proof syst…