Cartesian genetic algorithm for boolean synthesis with power consumption restriction | IEEE Conference Publication | IEEE Xplore