Abajyan A. POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2011 Oct. 17 [cited 2024 Nov. 23];45(3 (226):3-8. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no3_2011_pp003-008