Geodesic
Unsolvable systems of equations and proof complexity
Documenta mathematica, ICM Berlin 1998, Vol. III (1998), pp. 451-460.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Classification : 03F20, 03B05, 68Q25
Keywords: propositional proof complexity, system of equations, survey, algebraic approach to the efficiency of propositional proof systems 
@article{DOCMA_1998__S9__a34,
     author = {Pitassi, Toniann},
     title = {Unsolvable systems of equations and proof complexity},
     journal = {Documenta mathematica},
     pages = {451--460},
     publisher = {mathdoc},
     volume = {ICM Berlin 1998, Vol. III},
     year = {1998},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a34/}
}
TY  - JOUR
AU  - Pitassi, Toniann
TI  - Unsolvable systems of equations and proof complexity
JO  - Documenta mathematica
PY  - 1998
SP  - 451
EP  - 460
VL  - ICM Berlin 1998, Vol. III
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a34/
LA  - en
ID  - DOCMA_1998__S9__a34
ER  - 
%0 Journal Article
%A Pitassi, Toniann
%T Unsolvable systems of equations and proof complexity
%J Documenta mathematica
%D 1998
%P 451-460
%V ICM Berlin 1998, Vol. III
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a34/
%G en
%F DOCMA_1998__S9__a34
Pitassi, Toniann. Unsolvable systems of equations and proof complexity. Documenta mathematica, ICM Berlin 1998, Vol. III (1998), pp. 451-460. http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a34/