Non-disjoint decomposition of Boolean functions and its application in FPGA-oriented technology mapping | IEEE Conference Publication | IEEE Xplore