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

Unsolvable systems of equations and proof complexity

  • Toniann Pitassi

Unsolvable systems of equations and proof complexity cover
Download Chapter PDF

Publication Date

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
  • Contact
  • Legal Notice
  • Privacy Policy
  • Accessibility Statement

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