Fedor Part, Iddo Tzameret. Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. Computational Complexity, 30(1):2, 2021. [doi]
@article{PartT21,
title = {Resolution with Counting: Dag-Like Lower Bounds and Different Moduli},
author = {Fedor Part and Iddo Tzameret},
year = {2021},
doi = {10.1007/s00037-020-00202-x},
url = {https://doi.org/10.1007/s00037-020-00202-x},
researchr = {https://researchr.org/publication/PartT21},
cites = {0},
citedby = {0},
journal = {Computational Complexity},
volume = {30},
number = {1},
pages = {2},
}