Contact
Submissions
Search

About
Updates
Journals
Books
Subscribe To Open

BooksdmsCollected Volumepp. 451–460

Unsolvable systems of equations and proof complexity

Toniann Pitassi
- zbMATH

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

Currency:€ Euro$ US Dollar

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