[IEEE 2019 IEEE 60th Annual Symposium on Foundations of...

  • Main
  • [IEEE 2019 IEEE 60th Annual Symposium...

[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, Rahul
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2019
DOI:
10.1109/FOCS.2019.00080
File:
PDF, 339 KB
2019
Conversion to is in progress
Conversion to is failed