63 citations · 77 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CC2018
Uniform, Integral and Feasible Proofs for the Determinant Identities
Iddo Tzameret, Stephen A. Cook
Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for…
cs.CC2018
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
Fedor Part, Iddo Tzameret
Resolution over linear equations is a natural extension of the popular resolution refutation system, augmented with the ability to carry out basic counting. Denoted Res(lin_R), thi…