Functional synthesis using discrete particle swarm optimization | IEEE Conference Publication | IEEE Xplore