Подробное описание документа
Статья
Колоколов А. А.
Решение задачи выполнимости с использованием метода перебора L-классов / Колоколов А. А., Адельшин А. В., Ягофаров Д. И. // Информационные технологии. - 2009. - № 2. -
519.8 Исследование операций