Hao Chen, Walker J. Turner, David Z. Pan, Haoxing Ren: Routability-Aware Placement for Advanced FinFET Mixed-Signal Circuits using Satisfiability Modulo Theories. DATE 2022: 160-165