I am trying to export an existing BDD as a Boolean expression string. Ideally I would like a minimal length string or minimal normal form but I am guessing that this is a hard problem itself. Do you know a way to convert BDDs into short strings? Currently I am using the function
Cudd_FactoredFormString
but the result is pretty much unreadable, even for BDDs with few variables.