Characterizing Propositional Proofs as Non-commutative Formulas

Fu Li, Iddo Tzameret, Zhengyu Wang

Research output: Contribution to journalArticlepeer-review

1 Downloads (Pure)
Original languageEnglish
Pages (from-to)1424-1462
Number of pages39
JournalSIAM Journal on Computing
Volume47
Issue number4
Early online date19 Jul 2018
DOIs
Publication statusE-pub ahead of print - 19 Jul 2018

Keywords

  • proof complexity
  • algebraic complexity
  • computational complexity

Cite this