Prioritized prime implicant patterns puzzle for novel logic synthesis and optimization | IEEE Conference Publication | IEEE Xplore