Studies in Algebraic and Propositional Proof Complexity. / Tzameret, Iddo.

Tel Aviv, 2008. 214 p.

Research output: ThesisDoctoral Thesis

Published
Original languageEnglish
QualificationPh.D.
Awarding Institution
  • Tel Aviv University
Supervisors/Advisors
  • Raz, Ran, Supervisor, External person
  • Dershowitz, Nachum, Supervisor, External person
Place of PublicationTel Aviv
Publication statusPublished - 2008

ID: 23836660