Resynthesis of multi-level circuits under tight constraints using symbolic optimization.

Victor N. Kravets, Karem A. Sakallah

Browse the full ICCAD paper archive.