%0 Journal Article
%A A. G. Abajian
%T Polynomial length proofs for some class of Tseitin formulas
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2011
%P 3-8
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2011_3_a0/
%G en
%F UZERU_2011_3_a0