Суворов П Ю

Публикации в базе данных Math-Net.Ru

1. Представление доказательств раскрашенными графами и гипотеза Хадвигера
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  209–217
2. О распознавании тавтологичности пропозициональных формул
   
   Зап. научн. сем. ЛОМИ, 60 (1976),  197–206
3. Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
   
   Зап. научн. сем. ЛОМИ, 40 (1974),  10–13