[IEEE 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) - Baltimore, MD, USA (2019.11.9-2019.11.12)] 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) - Why are Proof Complexity Lower Bounds Hard?
Pich, Jan, Santhanam, RahulYear:
2019
DOI:
10.1109/FOCS.2019.00080
File:
PDF, 339 KB
2019