Resolution over Linear Equations and Multilinear Proofs

Ran Raz, Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

43 Downloads (Pure)
Original languageEnglish
Pages (from-to)194-224
Number of pages31
JournalAnnals of Pure and Applied Logic
Volume155
Issue number3
DOIs
Publication statusPublished - 2008

Keywords

  • complexity theory
  • RESOLUTION
  • proof complexity
  • Satisfiability
  • algebraic complexity

Cite this