Проверка формул ДНФ: новый взгляд на эффективность
Исследование показывает, что формулы дизъюнктивной нормальной формы (ДНФ) могут быть проверены на истинность с допустимой относительной погрешностью, открывая новые возможности для оптимизации алгоритмов.




