Analog layout placement retargeting using Satisfiability Modulo Theories. - Aya Mohamed 002; Mohamed Dessouky; Sherif M. Saif (SMACD, 2017)