Inproceedings,
Exploiting satisfiability modulo theories for analog layout automation.
S. Saif, M. Dessouky, S. Nassar, H. Abbas, M. El-Kharashi, and M. Abdulaziz.IDT, page 1-6. IEEE, (2014)
Meta data
- BibTeX key
- conf/idt/SaifDNAEA14
- entry type
- inproceedings
- booktitle
- IDT
- year
- 2014
- pages
- 1-6
- publisher
- IEEE
- crossref
- conf/idt/2014
- ee
- https://doi.org/10.1109/IDT.2014.7038590
- isbn
- 978-1-4799-8200-4
- url
- http://dblp.uni-trier.de/db/conf/idt/idt2014.html#SaifDNAEA14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/idt/SaifDNAEA14
%A Saif, Sherif M.
%A Dessouky, Mohamed
%A Nassar, Salwa M.
%A Abbas, Hazem M.
%A El-Kharashi, M. Watheq
%A Abdulaziz, Mohammad
%B IDT
%D 2014
%I IEEE
%K dblp
%P 1-6
%T Exploiting satisfiability modulo theories for analog layout automation.
%U http://dblp.uni-trier.de/db/conf/idt/idt2014.html#SaifDNAEA14
%@ 978-1-4799-8200-4
@inproceedings{conf/idt/SaifDNAEA14,
added-at = {2022-12-07T00:00:00.000+0100},
author = {Saif, Sherif M. and Dessouky, Mohamed and Nassar, Salwa M. and Abbas, Hazem M. and El-Kharashi, M. Watheq and Abdulaziz, Mohammad},
biburl = {https://www.bibsonomy.org/bibtex/2abaae6208e279b9ec23a349ad53b60d6/dblp},
booktitle = {IDT},
crossref = {conf/idt/2014},
ee = {https://doi.org/10.1109/IDT.2014.7038590},
interhash = {9a04d2fde04574d431465e2b44e3b149},
intrahash = {abaae6208e279b9ec23a349ad53b60d6},
isbn = {978-1-4799-8200-4},
keywords = {dblp},
pages = {1-6},
publisher = {IEEE},
timestamp = {2024-04-10T11:41:37.000+0200},
title = {Exploiting satisfiability modulo theories for analog layout automation.},
url = {http://dblp.uni-trier.de/db/conf/idt/idt2014.html#SaifDNAEA14},
year = 2014
}