Технология решения комбинаторно-логических задач методом сокращенного обхода дерева поискаАгибалов, Геннадий Петрович1981125 с.