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 ?