Approximate Logic Synthesis by Genetic Algorithm with an Error Rate Guarantee | IEEE Conference Publication | IEEE Xplore