KravetsS02'

@inproceedings{DBLP:conf/iccad/KravetsS02,
  author    = {Victor N. Kravets and
               Karem A. Sakallah},
  title     = {Resynthesis of multi-level circuits under tight constraints
               using symbolic optimization},
  booktitle = {ICCAD},
  year      = {2002},
  pages     = {687-693},
  ee        = {http://doi.acm.org/10.1145/774572.774673},
  crossref  = {DBLP:conf/iccad/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccad/2002,
  editor    = {Lawrence T. Pileggi and
               Andreas Kuehlmann},
  title     = {Proceedings of the 2002 IEEE/ACM International Conference
               on Computer-aided Design, 2002, San Jose, California, USA,
               November 10-14, 2002},
  booktitle = {ICCAD},
  publisher = {ACM},
  year      = {2002},
  isbn      = {0-7803-7607-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}