Development of a CAD tool for optimization of concurrent MTBDDs by using "don't cares"