Binary Decision Diagram Minimization Algorithm Based on Genetic Tabu Hybrid Strategy

• 基于遗传禁忌混合策略的二叉判定图最小化算法研究