Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

Fedor Part, Iddo Tzameret. Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. Computational Complexity, 30(1):2, 2021. [doi]

Abstract

Abstract is missing.