Sequential permissible functions and their application to circuit optimization | IEEE Conference Publication | IEEE Xplore