Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search. Nam, G., Sakallah, K., & Rutenbar, R. In Glesner, M., Zipf, P., & Renovell, M., editors, 12th International Conference on Field Programmable Logic and Application (FPL 2002), volume LNCS 2438, pages 360-369, Montpellier, France, September 2-4, 2002. Springer-Verlag. bibtex @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}
}
Downloads: 0
{"_id":"Lmf6GiJh9yAZPoidS","bibbaseid":"nam-sakallah-rutenbar-hybridroutingforfpgasbyintegratingbooleansatisfiabilitywithgeometricsearch-2002","authorIDs":["2A54n82RLui3DP6wP","2e3wBxbR54jNNzizE","4aNcyxEg4ftuNSsaj","4gdthdEfvkFauifZf","58ggzMh94vktbZgLD","5K3DrmPuzFQkm7Mao","5d1ca3b659fe2fda01000020","5de76e32179cbdde01000158","5e01698f219bd5df01000062","5e14c31ee55ed8de01000123","5e1f7edc08195af30100007d","5e399082d14579de010001b7","5e3d9802f33211df01000055","5e5d058b342171f301000093","5e5ece2a8c261adf010000ca","5e5ed0648c261adf01000101","6gRo3HNBCyPc4x2tE","78zghoXffPeSigRcS","7Er9ECfumNZ9Tx7zP","7WdeScG3KXCpjHymh","89qMihECpRRWWyFkY","8Scex5wFP2m5WqrNm","9reHcTXwN9LWaskcF","A5488F9AoWmk8qbcd","CCXLwWMqAsRK8XkP3","CTMnmJ2FT5X3o2dt6","DnyyYXDJrA4YcnFut","DyNvt8RRvSYuDtp4H","EvzyWsDjCchvN8r9W","Fuw6YbxyzPv64d4oz","Hegw9jgkkSqLYJpCs","LC6adHEfDkmH63Db3","MeFQDLkpfxLC4F6iD","NQyf7Hh3HuMggYif7","NZQc6xvT9aa2rbkPF","QG7t9hm6rKCbkWpw4","QT9sJuhXJYhgiCbbP","S82QTbwajuiwoPLtM","SSY46YraYDnEZ8j35","SbhHiDFf7kNQMXyTw","TGzEJy5rj4cMrvLaF","TdoMPd7r7jW4PzqfB","WEMsDvNfiLSN3nM9P","WPLDufsuBHpqtRscS","X2b5tEpaJowqtbAKb","XNGQ6BdxRkddPkcDW","XcWuJQmWvotMnc8YA","YcAeLPsxPrnmvk3AQ","YgnWwStEzHtnChSnw","ci6eqpfrfcwfxHJeM","dTh6pHKqGWGchnbaL","efWMWCByZJW6uHj9a","hmfBnbuF4YmbpmC5J","iLTY6YXJF6THy9Lyc","it4tcbLoXrHNFam9f","jbE52xarsJTXAD8ma","koH6hayagychucm5f","m99WHWDWEst645cN7","oaAAqRsRz4HbWumXj","oqxgYgKwShbabAPDg","pBbKC63DknjWpXv6f","pgcvBWkwJHeWDSePe","qeWoMcKfQEvNqnkct","uxQRXFz86d3WXaut2","vAj2ZYa4B6YQCJqPY","vepX2hk9vhCZqMmur","wfRrXWqYC8yynYHdz","yNHRpnaKGh5K9w3Y4","yXMoKynEJwXBrgPgg"],"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":{"sakallah, k":"https://web.eecs.umich.edu/~karem/publications/"}},"downloads":0},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","creationDate":"2019-07-03T12:46:46.347Z","downloads":0,"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,"dataSources":["dAWPbXiJP4ihEN4GZ"]}