• Contact
  • Submissions
  • Search
  • About
  • Updates
  • Journals
  • Books
  • Subscribe To Open
    • Authors
    • Libraries
    • Booksellers
BooksdmsCollected Volumepp. 451–460

Unsolvable systems of equations and proof complexity

  • Toniann Pitassi

    • zbMATH Open
Unsolvable systems of equations and proof complexity cover
Download Chapter PDF

Dates

Published
1 January 1998
DOI
10.4171/DMS/1-3/44

Keywords

  • survey
  • propositional proof complexity
  • system of equations
  • algebraic approach to the efficiency of propositional proof systems

Mathematics Subject Classification

  • 03B05
  • 03F20
  • 68Q25
  • Contact
  • Legal Notice
  • Privacy Policy
  • Accessibility Statement

© 2026 EMS Press
EMS Press is an imprint of the European Mathematical Society - EMS - Publishing House GmbH,
a subsidiary of the European Mathematical Society.