Бибило П. Н., Логинова И. П. Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм // Информатика. 2022 Т.19, №2. С.26-55. doi:10.37661/1816-0301-2022-19-2-26-55