fdd2bdd doubt

Question

Is there a faster way to do fdd2bdd instead of using the algorithm in the slides ?

Answer 1

In general, I would say no, for particular examples, I would say certainly. The problem is that there are so many boolean functions that for some one of the intermediate steps like generating a DNF may explode so that other ways can then be more efficient. However, there is no silver bullet, I am afraid.