Constructive library-aware synthesis using symmetries | IEEE Conference Publication | IEEE Xplore