The polynomial bounds of proof complexity in Frege systems.
Aleksanyan, S.R. ; Chubaryan, A.A.
Sibirskij Matematicheskij Zhurnal, Tome 50 (2009), p. 243-249 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PDF)
Publié le : 2009-01-01
EUDML-ID : urn:eudml:doc:233542 
@article{05875493,
     title = {The polynomial bounds of proof complexity in Frege systems.},
     journal = {Sibirskij Matematicheskij Zhurnal},
     volume = {50},
     year = {2009},
     pages = {243-249},
     zbl = {1224.03034},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05875493}
}

Aleksanyan, S.R.; Chubaryan, A.A. The polynomial bounds of proof complexity in Frege systems.. Sibirskij Matematicheskij Zhurnal, Tome 50 (2009) pp. 243-249. http://gdmltest.u-ga.fr/item/05875493/