I have a doubt regarding the conversion of BDD to ZDD. We have an algorithm , but it's pretty lengthy. Do we have some other methods to convert BDD to ZDD.
What I am thinking of,
1) BDD to FDD by, Full DNF-> RMNF ( using xor reductions for negations as well) It will give me the FDD equation.
2) Taking this FDD as my next input then, add missing terms as ( missing_term xor 1), then do reduction. It should give my ZDD.
Is it correct ?