Gate-level synthesis of Boolean functions using binary multiplexers and genetic programming | IEEE Conference Publication | IEEE Xplore