"Towards enhancing analog circuits sizing using SMT-based techniques."

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics