79 citations · 93 across the 20 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CC2015★ 3 cited
A Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime Fields
Albert Atserias
In this note we show that unsatisfiable systems of linear equations with a constant number of variables per equation over prime finite fields have polynomial-size constant-degree s…
cs.LO2015★ 1 cited
Relative Entailment Among Probabilistic Implications
Albert Atserias, José L. Balcázar, Marie Ely Piceno
We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-l…