min - CUDD：将 BDD 转换为（最小）范式

Question

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

Cudd_FactoredFormString

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