@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}

}

{"_id":"y2EcsytzSxAG32Awh","bibbaseid":"oh-ernst-sakallah-markov-constructivelogicandlayoutsynthesisdoesnotwork-2005","author_short":["Oh, Y.","Ernst, E.","Sakallah, K. A.","Markov, I. L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Oh"],"firstnames":["Yoonna"],"suffixes":[]},{"propositions":[],"lastnames":["Ernst"],"firstnames":["Elizabeth"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]},{"propositions":[],"lastnames":["Markov"],"firstnames":["Igor","L."],"suffixes":[]}],"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","bibtex":"@inproceedings{oh2005constructive,\n author = {Oh, Yoonna and Ernst, Elizabeth and Sakallah, Karem A. and Markov, Igor L.},\n title = {{Constructive Logic and Layout Synthesis Does Not Work}},\n booktitle = {International Workshop on Logic \\& Synthesis (IWLS)},\n address = {Lake Arrowhead, California},\n pages = {367-374},\n month = {June},\n year = {2005}\n\n}\n\n","author_short":["Oh, Y.","Ernst, E.","Sakallah, K. A.","Markov, I. L."],"key":"oh2005constructive","id":"oh2005constructive","bibbaseid":"oh-ernst-sakallah-markov-constructivelogicandlayoutsynthesisdoesnotwork-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["constructive","logic","layout","synthesis","work","oh","ernst","sakallah","markov"],"title":"Constructive Logic and Layout Synthesis Does Not Work","year":2005}