@article{nam2002new,
   author = {Nam, Gi-Joon and Sakallah, Karem A. and Rutenbar, Rob},
   title = {{A New FPGA Detailed Routing Approach via Search-Based Boolean Satisfiability}},
   journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
   volume = {21},
   number = {6},
   pages = {674-684},
   month = {June},
   year = {2002}
}

{"_id":"NLe5thwtKG2KpWqPf","bibbaseid":"nam-sakallah-rutenbar-anewfpgadetailedroutingapproachviasearchbasedbooleansatisfiability-2002","author_short":["Nam, G.","Sakallah, K. A.","Rutenbar, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Nam"],"firstnames":["Gi-Joon"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]},{"propositions":[],"lastnames":["Rutenbar"],"firstnames":["Rob"],"suffixes":[]}],"title":"A New FPGA Detailed Routing Approach via Search-Based Boolean Satisfiability","journal":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","volume":"21","number":"6","pages":"674-684","month":"June","year":"2002","bibtex":"@article{nam2002new,\n author = {Nam, Gi-Joon and Sakallah, Karem A. and Rutenbar, Rob},\n title = {{A New FPGA Detailed Routing Approach via Search-Based Boolean Satisfiability}},\n journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},\n volume = {21},\n number = {6},\n pages = {674-684},\n month = {June},\n year = {2002}\n}\n\n","author_short":["Nam, G.","Sakallah, K. A.","Rutenbar, R."],"key":"nam2002new","id":"nam2002new","bibbaseid":"nam-sakallah-rutenbar-anewfpgadetailedroutingapproachviasearchbasedbooleansatisfiability-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["new","fpga","detailed","routing","approach","via","search","based","boolean","satisfiability","nam","sakallah","rutenbar"],"title":"A New FPGA Detailed Routing Approach via Search-Based Boolean Satisfiability","year":2002}