The Proof Complexity of Polynomial Identities

Pavel Hrubes, Iddo Tzameret

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

Original languageEnglish
Title of host publicationProceedings of the 24th IEEE Conference on Computational Complexity (CCC)
PublisherIEEE Computer Society Press
Pages41-51
Number of pages11
Publication statusPublished - 2009

Cite this