Constructive Logic and Layout Synthesis Does Not Work. Oh, Y., Ernst, E., Sakallah, K. A., & Markov, I. L. In International Workshop on Logic & Synthesis (IWLS), pages 367-374, Lake Arrowhead, California, June, 2005.
bibtex   
@inproceedings{oh2005constructive,
   author = {Oh, Yoonna and Ernst, Elizabeth and Sakallah, Karem A. and Markov, Igor L.},
   title = {{Constructive Logic and Layout Synthesis Does Not Work}},
   booktitle = {International Workshop on Logic \& Synthesis (IWLS)},
   address = {Lake Arrowhead, California},
   pages = {367-374},
   month = {June},
   year = {2005}

}
Downloads: 0