Faster circuits and shorter formulae for multiple addition, multiplication and symmetric Boolean functions | IEEE Conference Publication | IEEE Xplore