63 citations · 124 across the 20 of their papers we have counts for
1 paper · 1 filter
Ran Raz, Iddo Tzameret
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead…