| |
Емельянов, П. Г.
Алгоритмические вопросы конъюктивной декомпозиции булевых формул [Текст] / П. Г. Емельянов, Д. К. Пономарев
// Программирование. – 2015. – № 3. – С. 62-72.
В статье показано, что проблема существования дизъюнктной конъюнктивной декомподиции является трудной для булевых формул. |
