# Unsolvable systems of equations and proof complexity.

Documenta Mathematica (1998)

- page 451-460
- ISSN: 1431-0643

## Access Full Article

top## How to cite

topPitassi, Toniann. "Unsolvable systems of equations and proof complexity.." Documenta Mathematica (1998): 451-460. <http://eudml.org/doc/232165>.

@article{Pitassi1998,

author = {Pitassi, Toniann},

journal = {Documenta Mathematica},

keywords = {propositional proof complexity; system of equations; survey; algebraic approach to the efficiency of propositional proof systems},

language = {eng},

pages = {451-460},

publisher = {Universiät Bielefeld, Fakultät für Mathematik},

title = {Unsolvable systems of equations and proof complexity.},

url = {http://eudml.org/doc/232165},

year = {1998},

}

TY - JOUR

AU - Pitassi, Toniann

TI - Unsolvable systems of equations and proof complexity.

JO - Documenta Mathematica

PY - 1998

PB - Universiät Bielefeld, Fakultät für Mathematik

SP - 451

EP - 460

LA - eng

KW - propositional proof complexity; system of equations; survey; algebraic approach to the efficiency of propositional proof systems

UR - http://eudml.org/doc/232165

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.