Кучмин, А. Ю. Анализ полиномиальных ограничений методом дерева решений. ИУС 2017, 9-14.