@article{v016a013, author = {Garg, Ankit and G{\"o}{\"o}s, Mika and Kamath, Pritish and Sokolov, Dmitry}, title = {Monotone Circuit Lower Bounds from Resolution}, year = {2020}, pages = {1--30}, doi = {10.4086/toc.2020.v016a013}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {16}, number = {13}, URL = {https://theoryofcomputing.org/articles/v016a013}, }