{"_id":"ac9GA8aYb6uoGPgJe","bibbaseid":"nam-aloul-sakallah-rutenbar-acomparativestudyoftwobooleanformulationsoffpgadetailedroutingconstraints-2001","author_short":["Nam, G.","Aloul, F.","Sakallah, K. A.","Rutenbar, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Nam"],"firstnames":["Gi-Joon"],"suffixes":[]},{"propositions":[],"lastnames":["Aloul"],"firstnames":["Fadi"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]},{"propositions":[],"lastnames":["Rutenbar"],"firstnames":["Rob"],"suffixes":[]}],"title":"A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints","booktitle":"International Sympoisum on Physical Design (ISPD '01)","address":"Sonoma, California","pages":"222-227","month":"April","year":"2001","bibtex":"@inproceedings{nam2001comparative,\n author = {Nam, Gi-Joon and Aloul, Fadi and Sakallah, Karem A. and Rutenbar, Rob},\n title = {{A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints}},\n booktitle = {International Sympoisum on Physical Design (ISPD '01)},\n address = {Sonoma, California},\n pages = {222-227},\n month = {April},\n year = {2001}\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n% 2000\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n","author_short":["Nam, G.","Aloul, F.","Sakallah, K. A.","Rutenbar, R."],"key":"nam2001comparative","id":"nam2001comparative","bibbaseid":"nam-aloul-sakallah-rutenbar-acomparativestudyoftwobooleanformulationsoffpgadetailedroutingconstraints-2001","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":["comparative","study","two","boolean","formulations","fpga","detailed","routing","constraints","nam","aloul","sakallah","rutenbar"],"title":"A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints","year":2001}