Structuring and mapping of a Boolean function is an important problem in the design of complex integrated circuits. Libraryaware constructive decomposition offers a solution to this problem. This paper proposes novel techniques to improve the quality and runtime of constructive decomposition. The improvements are effective both in the stand-alone mapping procedure and in the context of re-synthesis applied to a mapped multi-level network. Experiments with public and proprietary benchmarks show promising results. Categories and Subject Descriptors B.6.3 [Logic Design]: Design Aids ? Automatic synthesis. General Terms Algorithms, Performance, Experimentation, Theory. Keywords Functional decomposition, technology mapping, re-synthesis.