Algebraic Proof Complexity: Progress, Frontiers and Challenges

Tonnian Pitassi, Iddo Tzameret

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

Original languageEnglish
Title of host publicationACM SIGLOG News
EditorsNeil Immerman
Place of PublicationNew York
PublisherACM
Pages21-43
Number of pages23
Volume3
ISBN (Electronic)EISSN:2372-3491
Publication statusPublished - 8 Jul 2016

Keywords

  • computational complexity
  • logic

Cite this