133 citations · 208 across the 7 of their papers we have counts for
1 paper · 1 filter
Tonnian Pitassi, Iddo Tzameret
We survey recent progress in the proof complexity of strong proof systems and its connection to algebraic circuit complexity, showing how the synergy between the two gives rise to…