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]
@inproceedings{KravetsS02,
title = {Resynthesis of multi-level circuits under tight constraints using symbolic optimization},
author = {Victor N. Kravets and Karem A. Sakallah},
year = {2002},
doi = {10.1145/774572.774673},
url = {http://doi.acm.org/10.1145/774572.774673},
tags = {optimization, constraints},
researchr = {https://researchr.org/publication/KravetsS02},
cites = {0},
citedby = {0},
pages = {687-693},
booktitle = {Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002, San Jose, California, USA, November 10-14, 2002},
editor = {Lawrence T. Pileggi and Andreas Kuehlmann},
publisher = {ACM},
isbn = {0-7803-7607-2},
}