%0 Conference Paper %1 conf/icecsys/SafarS15 %A Safar, Mona %A Salem, Ashraf %B ICECS %D 2015 %I IEEE %K dblp %P 613-616 %T Solving constraints in FPGA detailed routing using SMT. %U http://dblp.uni-trier.de/db/conf/icecsys/icecsys2015.html#SafarS15 %@ 978-1-5090-0246-7

@inproceedings{conf/icecsys/SafarS15, added-at = {2024-05-07T00:00:00.000+0200}, author = {Safar, Mona and Salem, Ashraf}, biburl = {https://www.bibsonomy.org/bibtex/26093771d77447f7fcd6201362677017f/dblp}, booktitle = {ICECS}, crossref = {conf/icecsys/2015}, ee = {https://doi.org/10.1109/ICECS.2015.7440391}, interhash = {68bbe7482d8829584f52ef9d9a93ec56}, intrahash = {6093771d77447f7fcd6201362677017f}, isbn = {978-1-5090-0246-7}, keywords = {dblp}, pages = {613-616}, publisher = {IEEE}, timestamp = {2024-05-13T08:55:44.000+0200}, title = {Solving constraints in FPGA detailed routing using SMT.}, url = {http://dblp.uni-trier.de/db/conf/icecsys/icecsys2015.html#SafarS15}, year = 2015 }