@inproceedings{nam2002hybrid,
   author = {Nam, Gi-Joon and Sakallah, Karem and Rutenbar, Rob},
   title = {{Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search}},
   booktitle = {12th International Conference on Field Programmable Logic and Application (FPL 2002)},
   editor = {Glesner, M. and Zipf, P. and Renovell, M.},
   address = {Montpellier, France},
   publisher = {Springer-Verlag},
   volume = {LNCS 2438},
   pages = {360-369},
   month = {September 2-4},
   year = {2002}
}

{"_id":"fenrNijqSR5pzTvsf","bibbaseid":"nam-sakallah-rutenbar-hybridroutingforfpgasbyintegratingbooleansatisfiabilitywithgeometricsearch-2002","author_short":["Nam, G.","Sakallah, K.","Rutenbar, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Nam"],"firstnames":["Gi-Joon"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem"],"suffixes":[]},{"propositions":[],"lastnames":["Rutenbar"],"firstnames":["Rob"],"suffixes":[]}],"title":"Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search","booktitle":"12th International Conference on Field Programmable Logic and Application (FPL 2002)","editor":[{"propositions":[],"lastnames":["Glesner"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Zipf"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Renovell"],"firstnames":["M."],"suffixes":[]}],"address":"Montpellier, France","publisher":"Springer-Verlag","volume":"LNCS 2438","pages":"360-369","month":"September 2-4","year":"2002","bibtex":"@inproceedings{nam2002hybrid,\n author = {Nam, Gi-Joon and Sakallah, Karem and Rutenbar, Rob},\n title = {{Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search}},\n booktitle = {12th International Conference on Field Programmable Logic and Application (FPL 2002)},\n editor = {Glesner, M. and Zipf, P. and Renovell, M.},\n address = {Montpellier, France},\n publisher = {Springer-Verlag},\n volume = {LNCS 2438},\n pages = {360-369},\n month = {September 2-4},\n year = {2002}\n}\n\n","author_short":["Nam, G.","Sakallah, K.","Rutenbar, R."],"editor_short":["Glesner, M.","Zipf, P.","Renovell, M."],"key":"nam2002hybrid","id":"nam2002hybrid","bibbaseid":"nam-sakallah-rutenbar-hybridroutingforfpgasbyintegratingbooleansatisfiabilitywithgeometricsearch-2002","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":["hybrid","routing","fpgas","integrating","boolean","satisfiability","geometric","search","nam","sakallah","rutenbar"],"title":"Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search","year":2002}