Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations
From MaRDI portal
Publication:5277746
DOI10.1145/1131313.1131314zbMath1367.03106arXivcs/0308012OpenAlexW1975857059MaRDI QIDQ5277746
Russell Impagliazzo, Nathan Segerlind
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0308012
Related Items (1)
This page was built for publication: Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations
