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]

Authors

Fedor Part

This author has not been identified. Look up 'Fedor Part' in Google

Iddo Tzameret

This author has not been identified. Look up 'Iddo Tzameret' in Google