Hi all,
Do any of you have information related to optimization of BDD < Binary Decision Diagram> ? Actually I am a novice in this area. My friend is doing a project in this subject and has to implement an algo which will optimize two BDD's by eliminating the common nodes.I am facing a problem for comparison of nodes having fanout more than 1.Please help.