Sherif M. Saif, Mohamed Dessouky, M. Watheq El-Kharashi, Hazem M. Abbas, Salwa M. Nassar. A Platform for Placement of Analog Integrated Circuits Using Satisfiability Modulo Theories. Journal of Circuits, Systems, and Computers, 25(5), 2016. [doi]
Abstract is missing.