A new method towards achieving global optimality in technology mapping | IEEE Conference Publication | IEEE Xplore