Ա. Գ. Աբաջյան
Polynomial length proofs for some class of Tseitin formulas (Քայլերի բազմանդամային բարդությամբ արտածումներ Ցեյտինի բանաձևերի որոշակի դասի համար )
| ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2011, #3, էջ 3–8 |
