Non-commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs

Fu Li, Iddo Tzameret, Zhengyu Wang

Research output: Chapter in Book/Report/Conference proceedingOther contribution

77 Downloads (Pure)
Original languageEnglish
Title of host publicationArXiV
Pages1
Number of pages32
Publication statusPublished - 30 Dec 2014

Keywords

  • complexity theory

Cite this