Cartesian genetic programming as local optimizer of logic networks | IEEE Conference Publication | IEEE Xplore