RUS
ENG
Full version
PEOPLE
Abajian Ashot G.
Publications in Math-Net.Ru
Polynomial length proofs for some class of Tseitin formulas
Proceedings of the YSU, Physical and Mathematical Sciences
, 2011, no. 3,
3–8
©
Steklov Math. Inst. of RAS
, 2024