Digital logic synthesis using genetic algorithms | IET Conference Publication | IEEE Xplore