ACM Symposium on Theory of Computing, STOC 2018

Article Details
Title: Monotone circuit lower bounds from resolution
Article URLs:
Alternative Article URLs: https://eccc.weizmann.ac.il/report/2017/175/
Authors: Ankit Garg
  • Microsoft Research
Mika Göös
  • Harvard University
Pritish Kamath
  • MIT
Dmitry Sokolov
  • KTH Royal Institute of Technology
Sharing: Research produced no artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1650733, 1741137
DBLP Key: conf/stoc/GargGKS18
Author Comments:

Discuss this paper and its artifacts below