Victor N. Kravets, Karem A. Sakallah. Resynthesis of multi-level circuits under tight constraints using symbolic optimization. In Lawrence T. Pileggi, Andreas Kuehlmann, editors, Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002, San Jose, California, USA, November 10-14, 2002. pages 687-693, ACM, 2002. [doi]
Abstract is missing.