Sherif M. Saif, Mohamed Dessouky, Salwa M. Nassar, Hazem M. Abbas, M. Watheq El-Kharashi, Mohammad Abdulaziz. Exploiting satisfiability modulo theories for analog layout automation. In 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014. pages 1-6, IEEE, 2014. [doi]
Abstract is missing.