TROY: a tree based approach to logic synthesis and technology mapping | IEEE Conference Publication | IEEE Xplore