Efficient synthesis of approximate threshold logic circuits with an error rate guarantee | IEEE Conference Publication | IEEE Xplore