Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для ...
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка
доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених
задач. Проведена оцінка складності ...