基于灾变遗传算法的二叉判定图最小化算法
기우재변유전산법적이차판정도최소화산법
Binary Decision Diagram variable ordering based on catastrophe genetic algorithm
저자의 최근 논문