%0 Journal Article %T Synthesis of MVL Functions - Part II: The Ant Colony Optimization Approach %A Abd-El-Barr, Mostafa %A Sarif, Bambang A. B. %A , %J 2006 International Conference on Microelectronics %D 2006-12-01 %I IEEE %~ DeepDyve