The Strength of Multilinear Proofs

Ran Raz, Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

39 Downloads (Pure)
Original languageEnglish
Number of pages51
JournalComputational Complexity
Volume17
Issue number3
DOIs
Publication statusPublished - 2008

Keywords

  • Multilinear Formulas
  • Proof complexity
  • algebraic complexity
  • Lower bounds
  • complexity theory

Cite this