Unsolvable systems of equations and proof complexity.
Documenta Mathematica (1998)
- page 451-460
- ISSN: 1431-0643
Access Full Article
topHow 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.