Combinational digital circuit synthesis using Cartesian Genetic Programming from a NAND gate template | IEEE Conference Publication | IEEE Xplore