Monotone Circuit Lower Bounds from Resolution

Ankit Garg, Mika Göös, Pritish Kamath, Dmitry Sokolov 0001. Monotone Circuit Lower Bounds from Resolution. Theory of Computing, 16:1-30, 2020. [doi]

Abstract

Abstract is missing.