Non-commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs: In Proceedings of the 30th Annual Computational Complexity Conference (CCC): June 17-19, 2015. Invited to the special journal issue on CCC'15 (Comput. Complexity CC).

Fu Li, Iddo Tzameret, Zhengyu Wang

Research output: Contribution to conferencePaperpeer-review

82 Downloads (Pure)
Original languageEnglish
Pages412-432
Number of pages21
DOIs
Publication statusPublished - 17 Jun 2015
EventCOMPUTATIONAL COMPLEXITY Conference - Oregon, United States
Duration: 7 Jun 201514 Jun 2017
Conference number: 31

Conference

ConferenceCOMPUTATIONAL COMPLEXITY Conference
Abbreviated titleCCC
Country/TerritoryUnited States
CityOregon
Period7/06/1514/06/17

Keywords

  • complexity theory

Cite this