Erfan Khaniki. On Proof complexity of Resolution over Polynomial Calculus. Electronic Colloquium on Computational Complexity (ECCC), 27:34, 2020. [doi]
@article{Khaniki20, title = {On Proof complexity of Resolution over Polynomial Calculus}, author = {Erfan Khaniki}, year = {2020}, url = {https://eccc.weizmann.ac.il/report/2020/034}, researchr = {https://researchr.org/publication/Khaniki20}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {27}, pages = {34}, }