Exploiting symbolic techniques within genetic algorithms for power optimization | IEEE Conference Publication | IEEE Xplore