Suvorov P Yu

Publications in Math-Net.Ru

1. Representation of proof s' by coloured graphs and Hadwiger hypothesis
   
   Zap. Nauchn. Sem. LOMI, 88 (1979),  209–217
2. On the recognition of the tautological nature of propositional formulas
   
   Zap. Nauchn. Sem. LOMI, 60 (1976),  197–206
3. A reduction of proposittional tautologihood to graph-coloring in three colors
   
   Zap. Nauchn. Sem. LOMI, 40 (1974),  10–13