Fedor Part, Iddo Tzameret. Resolution with Counting: Lower Bounds over Different Moduli. Electronic Colloquium on Computational Complexity (ECCC), 25:117, 2018. [doi]
@article{PartT18,
title = {Resolution with Counting: Lower Bounds over Different Moduli},
author = {Fedor Part and Iddo Tzameret},
year = {2018},
url = {https://eccc.weizmann.ac.il/report/2018/117},
researchr = {https://researchr.org/publication/PartT18},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {25},
pages = {117},
}