CUDD: конвертировать BDD в (минимальную) нормальную форму
Я пытаюсь экспортировать существующий BDD в виде строки логического выражения. В идеале я хотел бы получить строку минимальной длины или минимальную нормальную форму, но я предполагаю, что это сама по себе сложная проблема. Вы знаете способ конвертировать BDD в короткие строки? В настоящее время я использую функцию
Cudd_FactoredFormString
но результат в значительной степени нечитаем, даже для BDD с несколькими переменными.