CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification | IEEE Conference Publication | IEEE Xplore