min - CUDD: BDD を (最小限の) 標準形に変換します

Question

既存の BDD をブール式の文字列としてエクスポートしようとしています。理想的には、最小限の長さの文字列または最小限の正規形が必要ですが、これ自体が難しい問題だと思います。BDD を短い文字列に変換する方法を知っていますか? 現在、私は機能を使用しています

Cudd_FactoredFormString

しかし、変数がほとんどないBDDであっても、結果はほとんど判読できません。