%0 Conference Paper %1 conf/dtis/SaifDAEN15 %A Saif, Sherif M. %A Dessouky, Mohamed %A Abbas, Hazem M. %A El-Kharashi, M. Watheq %A Nassar, Salwa M. %B DTIS %D 2015 %I IEEE %K dblp %P 1-6 %T Analog layout constraints resolution and shape function generation using Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/conf/dtis/dtis2015.html#SaifDAEN15 %@ 978-1-4799-1999-4

@inproceedings{conf/dtis/SaifDAEN15, added-at = {2015-06-23T00:00:00.000+0200}, author = {Saif, Sherif M. and Dessouky, Mohamed and Abbas, Hazem M. and El-Kharashi, M. Watheq and Nassar, Salwa M.}, biburl = {https://www.bibsonomy.org/bibtex/2661e1b475d231754d470d8d06bbb0026/dblp}, booktitle = {DTIS}, crossref = {conf/dtis/2015}, ee = {http://dx.doi.org/10.1109/DTIS.2015.7127355}, interhash = {348adffb86e0944d65aac49aa32e8f63}, intrahash = {661e1b475d231754d470d8d06bbb0026}, isbn = {978-1-4799-1999-4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2015-06-24T11:37:58.000+0200}, title = {Analog layout constraints resolution and shape function generation using Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/dtis/dtis2015.html#SaifDAEN15}, year = 2015 }