CUDD：将BDD转换为（最小）正常形式

Question

我正在尝试将现有BDD导出为布尔表达式字符串。理想情况下，我想要一个最小长度的字符串或最小的正常形式，但我猜这本身就是一个难题。您知道将BDD转换为短字符串的方法吗？目前我正在使用该功能

Cudd_FactoredFormString

但结果几乎是不可读的，即使对于变量很少的BDD也是如此。