Archive

Archive

Search result
415

A. G. Abajyan,

Polynomial length proofs for some class of Tseitin formulas | Proceedings of the YSU: Physical and Mathematical Sciences 2011 #3(3-8)