Об эффективном представлении дизъюнктивных нормальных форм диаграммами специального вида

Рассматриваются диаграммы нового типа, используемые для представления дизъюнктивных нормальных форм. Показано, что данный класс диаграмм можно применять для компактного представления баз конфликтных дизъюнктов, накапливаемых в процессе нехронологического DPLL-вывода.