Кучмин, А.Ю.: Анализ полиномиальных ограничений методом дерева решений. Информационно-управляющие системы(6), 9-14 (2017). doi:10.15217/issn1684-8853.2017.6.9